Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Illustrating interference in interfering versions of programs
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Penelope, an Ada verification system
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
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
Fine grained data management to achieve evolution resilience in a software development environment
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Models of Software Development Environments
IEEE Transactions on Software Engineering
Laboratory activities for studying the formal semantics of programming languages
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Extending the MERCURY system to support teams of Ada programmers
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Language Design for Program Manipulation
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
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
The Proteus presentation system
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Incremental program testing using program dependence graphs
POPL '93 Proceedings of the 20th 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
Syntax-directed editing environments: issues and features
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Scan grammars: parallel attribute evaluation via data-parallelism
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Program integration for languages with procedure calls
ACM Transactions on Software Engineering and Methodology (TOSEM)
Matching-based incremental evaluators for hierarchical attribute grammar dialects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Caching intermediate results for program improvement
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generation of formatters for context-free languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Future directions in program transformations
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Early specification of user-interfaces: toward a formal approach
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantics Guided Regression Test Cost Reduction
IEEE Transactions on Software Engineering
A concurrency simulator designed for sophomore-level instruction
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Static caching for incremental computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient and flexible incremental parsing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Incremental computation of complex object queries
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A rule-based language for programming software updates
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Error Reporting with Graduated Color
IEEE Software
Status Report: Computer-Aided Prototyping
IEEE Software
Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements
IEEE Transactions on Software Engineering
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
A rule-based language for programming software updates
ACM SIGPLAN Notices
Nordic Journal of Computing
Interactive language development for embedded systems
Nordic Journal of Computing
Program visualization using reference attributed grammars
Nordic Journal of Computing
Universal Regular Path Queries
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
Higher-Order and Symbolic Computation
Program Synthesis from Formal Requirements Specifications Using APTS
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Querying and Updating the File
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Eliminating Dead Code on Recursive Data
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Solving Regular Tree Grammar Based Constraints
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Forwarding in Attribute Grammars for Modular Language Design
CC '02 Proceedings of the 11th International Conference on Compiler Construction
A logical view of structured files
The VLDB Journal — The International Journal on Very Large Data Bases
Eliminating dead code on recursive data
Science of Computer Programming - Special issue on static analysis (SAS'99)
An SGML-based programming environment for literate programming
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Toward experimental evaluation of subsystem classification recovery techniques
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Transformation in Intentional Programming
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Programs Are Abstract Data Types
Proceedings of the 16th IEEE international conference on Automated software engineering
Generating spreadsheet-like tools from strong attribute grammars
Proceedings of the 2nd international conference on Generative programming and component engineering
On exponential-time completeness of the circularity problem for attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing aggregate array computations in loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Higher-Order and Symbolic Computation
Encyclopedia of Computer Science
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Subtext: uncovering the simplicity of programming
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An update calculus for expressing type-safe program updates
Science of Computer Programming
ANTLRWorks: an ANTLR grammar development environment
Software—Practice & Experience
Automatic generator of XML documents editors based on attributed grammars
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Model-Driven Engineering Meets Generic Language Technology
Software Language Engineering
Formalising and Verifying Reference Attribute Grammars in Coq
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Visual Patterns Associated to Abstract Trees
Electronic Notes in Theoretical Computer Science (ENTCS)
ESOP'03 Proceedings of the 12th European conference on Programming
Automatic generation of XML-based editors for autonomic systems
International Journal of Autonomic Computing
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Context sensitive user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Implementing the cut-and-paste operation in a structured editing system
Mathematical and Computer Modelling: An International Journal
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
Hi-index | 0.00 |