The PSG System: From Formal Language Definitions to Interactive Programming Environments
Abstract elided by the publisher.
Related papers
- The PSG System: From Formal Language Definitions to Interactive Programming Environments TOPLAS 1986
- A generator for language-specific debugging systems PLDI 1987
- Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis POPL 1986
- Towards a mizar environment for isabelle: foundations and language CPP 2016
- Good-Enough Synthesis CAV 2020
- Formal Analysis of Networked PLC Controllers Interacting with Physical Environments SAS 2025
- Metalevel Building Blocks for Modular Systems TOPLAS 1994
- Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems VMCAI 2022