The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
An approach to incremental compilation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Context Relations - a Concept for Incremental Context Analysis in Program Fragments
Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft
Type Inference in the Presence of Overloading, Polymorphism and Coercions
Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Generating Language-Based Environments
Generating Language-Based Environments
ACM SIGPLAN Notices
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dost: an environment to support automatic generation of user interfaces
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A System for Generating Language-Oriented Editors
IEEE Transactions on Software Engineering
Automatically generating visual syntax-directed editors
Communications of the ACM
Production trees: a compact representation of parsed programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
MUPPET—a programming environment of message-based multiprocessors
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A maximum-flow approach to anomaly isolation in unification-based incremental type inference
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Unification in many-sorted algebras as a device for incremental semantic analysis
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Software Language Engineering
Incremental updates for view-based textual modelling
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Hi-index | 0.02 |
The programming system generator developed at the Technical University of Darmstadt generates sophisticated interactive programming environments from formal language definitions. From a formal, entirely non-procedural definition of the language's syntax, context conditions and denotational semantics, it produces a hybrid editor, an interpreter and a library system. The editor allows both structure editing and text editing, guaranteeing immediate recognition of syntactic and semantic errors. The generator has been used to generate environments for PASCAL, MODULA-2 and the formal language definition language itself. A brief description of the generated environments and the definition language is given, and our experiences with formal language definitions are discussed from the language definer's point of view as well as from the programmer's point of view using the generated environments.