NARROWER: a new algorithm for unification and its application to logic programming
Proc. of the first international conference on Rewriting techniques and applications
Strictness analysis—a practical approach
Proc. of a conference on Functional programming languages and computer architecture
Context-sensitive editing with PSG environments
An international workshop on Advanced programming environments
The synthesizer generator reference manual (3rd ed.)
The synthesizer generator reference manual (3rd ed.)
A meta-language and system for nonlocal incremental attribute evaluation in language-based editors
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
The denotational semantics of programming languages
Communications of the ACM
An approach to incremental compilation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Higher-order strictness analysis in untyped lambda calculus
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Incremental polymorphic type checking in B
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Proceedings of the 7th International Conference on Automated Deduction
The PSG - Programming System Generator
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Document structure and modularity in mentor
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
Syntax-directed editing: towards integrated programming environments
Syntax-directed editing: towards integrated programming environments
A generator for language-specific debugging systems
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
TOOLS: a unifying approach to object-oriented language interpretation
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A System for Generating Language-Oriented Editors
IEEE Transactions on Software Engineering
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Incremental evaluation for a general class of circular attribute grammars
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
ALIEN: a programming environment generator for personal computers
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Incremental dynamic semantics for language-based programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Higher-order attribute grammars and editing environments
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
VisiCola, a model and a language for visibility control in programming languages
ACM SIGPLAN Notices
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
Early Experience with the Visual Programmer's WorkBench
IEEE Transactions on Software Engineering
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Generation of Interactive Parsers with Error Handling
IEEE Transactions on Software Engineering
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
A categorized bibliography on incremental computation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Basic operations of the VisiCola scope model
ACM SIGPLAN Notices
Extending attribute grammars to support programming-in-the-large
ACM Transactions on Programming Languages and Systems (TOPLAS)
A brief look at extension programming before and now
ACM SIGPLAN Notices
Efficient incremental LR parsing for syntax-directed editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generating environments for programming-in-the-large
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Smarter cut-and-paste for programming text editors
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Specifying Prolog Trace Models with a Continuation Semantics
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
The UniForM WorkBench - A Higher Order Tool Integration Framework
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Constructing SDEs with the IPSEN meta environment
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
How to build LR parsers which accept incomplete input
ACM SIGPLAN Notices
Enabling static analysis for partial java programs
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Declarative specification of template-based textual editors
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Hi-index | 0.00 |
The PSG programming system generator developed at the Technical University of Darmstadt produces interactive, language-specific programming environments from formal language definitions. All language-dependent parts of the environment are generated from an entirely nonprocedural specification of the language's syntax, context conditions, and dynamic semantics. The generated environment consists of a language-based editor, supporting systematic program development by named program fragments, an interpreter, and a fragment library system. The major component of the environment is a full-screen editor, which allows both structure and text editing. In structure mode the editor guarantees prevention of both syntactic and semantic errors, whereas in textual mode it guarantees their immediate recognition. PSG editors employ a novel algorithm for incremental semantic analysis which is based on unification. The algorithm will immediately detect semantic errors even in incomplete program fragments. The dynamic semantics of the language are defined in denotational style using a functional language based on the lambda calculus. Program fragments are compiled to terms of the functional language which are executed by an interpreter. The PSG generator has been used to produce environments for Pascal, ALGOL 60, MODULA-2, and the formal language definition language itself.