Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Essays in computing science
Action semantics
The structure of typed programming languages
The structure of typed programming languages
Evolving algebras 1993: Lipari guide
Specification and validation methods
Semantics of programming languages: a tool-oriented approach
ACM SIGPLAN Notices
Programming Language Syntax and Semantics
Programming Language Syntax and Semantics
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Theory and Practice of Action Semantics
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Extensible Denotational Language Specifications
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
ASD: The Action Semantic Description Tools
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Separation of concerns in compiler development using aspect-orientation
Proceedings of the 2006 ACM symposium on Applied computing
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Implementing aspect-oriented programming constructs as modular language extensions
Science of Computer Programming
Aspect-Oriented Action Semantics Descriptions
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Action semantics in retrospect
Semantics and algebraic specification
Type checking evolving languages with MSOS
Semantics and algebraic specification
An action semantics based on two combinators
Semantics and algebraic specification
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Evolution and reuse of language specifications for DSLs (ERLS)
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
On the combination of domain specific modeling languages
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Component-based description of programming languages
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Incremental programming language development
Computer Languages, Systems and Structures
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
| Hi-index | 0.00 |
This article demonstrates a method for composing a programming language by combining action-semantics modules. Each module is defined separately, and then a programming-language module is defined by combining existing modules. This method enables the language designer to gradually develop a language by defining, selecting and combining suitable modules. The resulting modular structure is substantially different from that previously employed in action-semantic descriptions.It also discusses how to resolve the conflicts that may arise when combining modules, and indicates some advantages that action semantics has over other approaches in this respect.