The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Incremental generation of parsers
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Journal of the ACM (JACM)
Incremental Generation of Parsers
IEEE Transactions on Software Engineering
An OBJ3 functional specification for boundary representation
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Normal forms for algebraic specifications of reusable Ada packages
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Object-oriented formal specifications to support Ada 95 reuse
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constructing reusable specifications through analogy
Proceedings of the 1999 ACM symposium on Applied computing
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Light analysis of complex systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Graph rewrite systems for program optimization
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)
Efficient path conditions in dependence graphs
Proceedings of the 24th International Conference on Software Engineering
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
A Rewriting Machine and Optimization of Strategies of Term Rewriting
Cybernetics and Systems Analysis
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Object-oriented tree traversal with J. J. Forester
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Meta-programming with Concrete Object Syntax
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
The ASF+SDF Meta-environment: A Component-Based Language Development Environment
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Formal Program Development in Geometric Modeling
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component-based DSL development
Proceedings of the 2nd international conference on Generative programming and component engineering
A language development environment for Eclipse
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
The algebraic structure of interfaces
Science of Computer Programming
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
The transient combinator, higher-order strategies, and the distributed data problem
Science of Computer Programming - Special issue on program transformation
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Source transformation, analysis and generation in TXL
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A transformational perspective into the core of an abstract class loader for the SSP
ACM Transactions on Embedded Computing Systems (TECS)
Case study on algebraic software methodologies for scientific computing
Scientific Programming
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 action compiler targeting Standard ML
Science of Computer Programming
A Modular Equational Generalization Algorithm
Logic-Based Program Synthesis and Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
The next 700 data description languages
Journal of the ACM (JACM)
TXL - A Language for Programming Language Tools and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
A fold/unfold transformation framework for rewrite theories extended to CCT
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Time abstraction in timed µCRL à la regions
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Excerpts from the TXL cookbook
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Program transformation using HATS 1.84
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
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
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
Program analysis scenarios in rascal
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |