Towards monolingual programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
CIGALE: A tool for interactive grammar construction and expression parsing
Science of Computer Programming
Gandalf: software development environments
IEEE Transactions on Software Engineering
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Algebraic specification
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Incremental Generation of Parsers
IEEE Transactions on Software Engineering
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
Incremental generation of lexical scanners
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy and incremental program generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Origin Tracking.
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generation of formatters for context-free languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Towards automated modification of legacy assets
Annals of Software Engineering
Simulating and Analyzing Railway Interlockings in ExSpect
IEEE Parallel & Distributed Technology: Systems & Technology
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Object-oriented tree traversal with J. J. Forester
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Interactive language development for embedded systems
Nordic Journal of Computing
Meta-programming with Concrete Object Syntax
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Non-deterministic Computations in ELAN
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
SmartTools: A Generator of Interactive Environments Tools
CC '01 Proceedings of the 10th International Conference on Compiler Construction
The ASF+SDF Meta-environment: A Component-Based Language Development Environment
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Towards a user-controlled software renovation factory
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
Constructing SDEs with the IPSEN meta environment
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Simplification and termination of strategies in rule-based languages
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
A language development environment for Eclipse
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Journal of Functional Programming
Architectural modifications to deployed software
Science of Computer Programming
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Representation-independent program analysis
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Computing constructor forms with non terminating rewrite programs
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
XGLR: an algorithm for ambiguity in programming languages
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Automated mass maintenance of a software portfolio
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Software—Practice & Experience
ATerms for manipulation and exchange of structured data: It's all about sharing
Information and Software Technology
Case study: Re-engineering C++ component models via automatic program transformation
Information and Software Technology
A slicing-based approach for locating type errors
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
An update calculus for expressing type-safe program updates
Science of Computer Programming
Ott: effective tool support for the working semanticist
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Towards Formal Verification of ToolBus Scripts
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Goto elimination in program algebra
Science of Computer Programming
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
DeFacto: Language-Parametric Fact Extraction from Source Code
Software Language Engineering
Language Analysis and Tools for Ambiguous Input Streams
Electronic Notes in Theoretical Computer Science (ENTCS)
Ott: Effective tool support for the working semanticist
Journal of Functional Programming
A rule-based approach for automated generation of kinetic chemical mechanisms
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Automated generation of kinetic chemical mechanisms using rewriting
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Automated analysis of feature models 20 years later: A literature review
Information Systems
Object-oriented reengineering: report on the workshop WOOR'07 at ECOOP 2007 10th anniversary edition
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
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
EASY meta-programming with Rascal
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Language convergence infrastructure
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Declaratively defining domain-specific language debuggers
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Growing a language environment with editor libraries
Proceedings of the 10th ACM international conference on Generative programming and component engineering
A proof of weak termination providing the right way to terminate
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Rule-based programming and proving: the ELAN experience outcomes
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Automated translation and analysis of a ToolBus script for auctions
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Language boxes: bending the host language with modular language changes
SLE'09 Proceedings of the Second international conference on Software Language Engineering
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Term rewriting meets aspect-oriented programming
Processes, Terms and Cycles
Rewriting as a unified specification tool for logic and control: the ELAN language
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Renovation of the Asf+Sdf meta-environment: current state of affairs
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Implementation of a prototype for the new ASF+SDF meta-environment
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Obtaining a COBOL grammar from legacy code for reengineering purposes
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
An algebraic specification of a transformation tool for prolog programs
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
A case study of a slicing-based approach for locating type errors
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
A generic architecture for data flow analysis to support reverse engineering
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Towards an efficient implementation of distributive programs
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Analysing the control software of the compact muon solenoid experiment at the large hadron collider
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
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
Declarative specification of template-based textual editors
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Hi-index | 0.00 |
Over the last decade, considerable progress has been made in solving the problems of automatic generation of programming/development environments, given a formal definition of some programming or specification language. In most cases, research has focused on the functionality and efficiency of the generated environments, and, of course, these aspects will ultimately determine the acceptance of environment generators. However, only marginal attention has been paid to the development process of formal language definitions itself. Assuming that the quality of automatically generated environments will be satisfactory within a few years, the development costs of formal language definitions will then become the next limiting factor determining ultimate success and acceptance of environment generators.In this paper we describe the design and implementation of a meta-environment (a development environment for formal language definitions) based on the formalism ASF + SDF. This meta-environment is currently being implemented as part of the Centaur system and is, at least partly, obtained by applying environment generation techniques to the language definition formalism itself. A central problem is providing fully interactive editing of modular language definitions such that modifications made to the language definition during editing can be translated immediately to modifications in the programming environment generated from the original language definition. Therefore, some of the issues addressed are the treatment of formalisms with user-definable syntax and incremental program generation techniques.