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
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
Environments for term rewriting engines for free!
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
An action compiler targeting Standard ML
Science of Computer Programming
An Action Compiler Targeting Standard ML
Electronic Notes in Theoretical Computer Science (ENTCS)
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
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 formalism, 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.