Generating language-based environments
Generating language-based environments
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
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
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A compiler generator for semantic grammars
A compiler generator for semantic grammars
An approach to incremental semantics
An approach to incremental semantics
Generating editing environments based on relations and attributes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental attribute evaluation in distributed language-based environments
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Efficient incremental evaluation of aggregate values in attribute grammars
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Generation of run-time environments
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
A globalizing transformation for attribute grammars
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)
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 structural approach to the maintenance of structure-oriented environments
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The kernel of a generic software development environment
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A foundation for programming environments
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
TOOLS: a unifying approach to object-oriented language interpretation
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Object-oriented database support for software environments
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Relationship between IDL and structure editor generation technology
ACM SIGPLAN Notices
Extending IDL to support concurrent views
ACM SIGPLAN Notices
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
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
A highly integrated tool set for program development support
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
An improved replacement strategy for function caching
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Incremental dynamic semantics for language-based programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Illustrating interference in interfering versions of programs
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Integrating non-intering versions of programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular specification of incremental program transformation systems
ICSE '89 Proceedings of the 11th international conference on Software engineering
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Facilitating process prototyping by controlling the impact of change
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Communications of the ACM
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)
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comparative evaluation of object definition techniques for large prototype systems
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
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A modification support system—automatic correction of side—effects caused by type modifications
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Incremental Scanning and Parsing with Galaxy
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
ACM Computing Surveys (CSUR)
Supporting collaborative software development with ConversationBuilder
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
A transformational approach to generating application-specific environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
GENOA: a customizable language- and front-end independent code analyzer
ICSE '92 Proceedings of the 14th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A conceptual framework for software development
CSC '93 Proceedings of the 1993 ACM conference on Computer science
TransformGen: automating the maintenance of structure-oriented environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
User interface specification using an enhanced spreadsheet model
ACM Transactions on Graphics (TOG)
LISA: a tool for automatic language implementation
ACM SIGPLAN Notices
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Sublinear-space evaluation algorithms for attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating testing and analysis tools with Aria
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multiple views based on unparsing canonical representations—the MultiView architecture
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Generating direct manipulation program editors within the MultiView programming environment
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Automated construction of testing and analysis tools
ICSE '94 Proceedings of the 16th international conference on Software engineering
Design of Flexible Static Program Analyzers with PQL
IEEE Transactions on Software Engineering
The role of VHDL in the MCC CAD system
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Teaching software architecture principles in CS1/CS2
ISAW '98 Proceedings of the third international workshop on Software architecture
GENOA—a customizable, front-end-retargetable source code analysis framework
ACM Transactions on Software Engineering and Methodology (TOSEM)
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
A multi-language syntax-directed editor
CSC '87 Proceedings of the 15th annual conference on Computer Science
A tool for Ada program manipulations: mentor-Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Technological advances in software engineering
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
An approach to incremental compilation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Remote attribute updating for language-based editors
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dynamically bypassing copy rule chains in attribute grammars
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Generic Lifecycle Support in the ALMA Environment
IEEE Transactions on Software Engineering
Incremental LL(1) Parsing in Language-Based Editors
IEEE Transactions on Software Engineering
On 'A Framework for Source Code Search Using Program Patterns'
IEEE Transactions on Software Engineering
The persistent workshop - a programming environment for Napier88
Nordic Journal of Computing
SmartTools: A Generator of Interactive Environments Tools
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Consistency Checking of Financial Derivatives Transactions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Code migration through transformations: an experience report
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
The PSG - Programming System Generator
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Maintained and constructor attributes
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Relations and attributes: A symbiotic basis for editing environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An algebra for program fragments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
A system for multiparadigm development of software systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A multi-dimensional taxonomy of software development environments
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Incremental parsing and reason maintenance
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ott: effective tool support for the working semanticist
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
IMP: a meta-tooling platform for creating language-specific ides in eclipse
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Accelerating the creation of customized, language-Specific IDEs in Eclipse
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Ott: Effective tool support for the working semanticist
Journal of Functional Programming
Towards the generation of a text-based IDE from a language metamodel
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Domain-Specific Languages for Composable Editor Plugins
Electronic Notes in Theoretical Computer Science (ENTCS)
The spoofax language workbench: rules for declarative specification of languages and IDEs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Code migration through transformations: an experience report
CASCON First Decade High Impact Papers
An introductory tutorial on JastAdd attribute grammars
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Building semantic editors using JastAdd: tool demonstration
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
A DSL for writing type systems for Xtext languages
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
The kennedy-warren algorithm revisited: ordering attribute grammars
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Journal of Systems and Software
The evolution of the GANDALF system
Journal of Systems and Software
mbeddr: an extensible C-based programming language and IDE for embedded systems
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Integrated definition of abstract and concrete syntax for textual languages
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Model-based programming environments for spreadsheets
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Declarative specification of template-based textual editors
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Lazy stateless incremental evaluation machinery for attribute grammars
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
| Hi-index | 0.03 |
Programs are hierarchical compositions of formulae satisfying structural and extra-structural relationships. A program editor can use knowledge of such relationships to detect and provide immediate feedback about violations of them. The Synthesizer Generator is a tool for creating such editors from language descriptions. An editor designer specifies the desired relationships and the feedback to be given when they are violated, as well as a user interface; from the specification, the Synthesizer Generator creates a full-screen editor for manipulating programs in the language.