The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Developing formally verified Ada programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Higher-order attribute grammars and editing environments
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Design, implementation and evaluation of the FNC-2 attribute grammar system
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Coping with changes in an object management system based on attribute grammars
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Laboratory activities for studying the formal semantics of programming languages
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Structure-oriented merging of revisions of software documents
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
SPARE: A Development Environment for Program Analysis Algorithms
IEEE Transactions on Software Engineering
Using the Synthesizer-Generator to teach principles of programming language semantics
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Alphonse: incremental computation as a programming abstraction
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Composable attribute grammars: support for modularity in translator design and implementation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A categorized bibliography on incremental computation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multi-pass execution of functional logic programs
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Integrating pointer variables into one-way constraint models
ACM Transactions on Computer-Human Interaction (TOCHI)
Extending attribute grammars to support programming-in-the-large
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract syntax from concrete syntax
ICSE '97 Proceedings of the 19th international conference on Software engineering
GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Incremental evaluation of computational circuits
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
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
Constructing SDEs with the IPSEN meta environment
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Toward experimental evaluation of subsystem classification recovery techniques
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
How to build LR parsers which accept incomplete input
ACM SIGPLAN Notices
Models and tools for managing development processes
Models and tools for managing development processes
Generating attribute grammar-based bidirectional transformations from rewrite rules
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.00 |