Generating language-based environments
Generating language-based environments
Generating editing environments based on relations and attributes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental graph evaluation (attribute grammar)
Incremental graph evaluation (attribute grammar)
Attribute (re)evaluation in OPTRAN
Acta Informatica
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator reference manual (3rd ed.)
The synthesizer generator reference manual (3rd ed.)
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
The interactive proof editor: an experiment in interactive
Current trends in hardware verification and automated theorem proving
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
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental compilation in Magpie
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Incremental evaluation for attribute grammars with application to syntax-directed editors
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Maintained and constructor attributes
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
An Environment for Formal Systems
An Environment for Formal Systems
A model for building modular systems based on attribute grammars (software configuration management, incremental algorithms)
USSA—universal syntax and semantics analyzer
ACM SIGPLAN Notices
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)
Matching-based incremental evaluators for hierarchical attribute grammar dialects
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Nordic Journal of Computing
Component-Based Programming for Higher-Order Attribute Grammars
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Functional Incremental Attribute Evaluation
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Forwarding in Attribute Grammars for Modular Language Design
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Hierarchical Program Diagram Editor Based on Attributed Graph Grammar
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Implementing aspect-oriented programming constructs as modular language extensions
Science of Computer Programming
Hi-index | 0.00 |