Algebraic specification
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Action semantics
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
Software—Practice & Experience
Semantics of programming languages: a tool-oriented approach
ACM SIGPLAN Notices
Language Prototyping: An Algebraic Specification Approach: Vol. V
Language Prototyping: An Algebraic Specification Approach: Vol. V
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Lrc - A Generator for Incremental Language-Oriented Tools
CC '98 Proceedings of the 7th International Conference on Compiler Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Environments for term rewriting engines for free!
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
ATerms for manipulation and exchange of structured data: It's all about sharing
Information and Software Technology
Maude Object-Oriented Action Tool
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 8th international workshop on Specification and verification of component-based systems
An implementation of object-oriented action semantics in Maude
Semantics and algebraic specification
Type checking evolving languages with MSOS
Semantics and algebraic specification
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Component-based description of programming languages
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
RLSRunner: linking rascal with k for program analysis
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Hi-index | 0.00 |
Some basic programming constructs (e.g., conditional statements) are found in many different programming languages, and can often be included without change when a new language is designed. When writing a semantic description of a language, however, it is usually not possible to reuse parts of previous descriptions without change.This paper introduces a new Action Semantic Discription Formulation, ASDF, which has been designed specifically for giving reusable action semantic descriptions of individual language constructs. An initial case study in the use of ASDF has already provided reusable descriptions of all the basic constructs underlying Core ML.The paper also describes the Action Environment, a new environment supporting use and validation of ASDF descriptions. The Action Environment has been implemented on top of the ASF + SDF Meta-Environment, exploiting recent advances in techniques for integration of different formalisms, and inheriting all the main features of the Meta-Environment.