Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
Notions of computation and monads
Information and Computation
A provably correct compiler generator
ESOP'92 Symposium proceedings on 4th European symposium on programming
Building interpreters by composing monads
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Actress: An Action Semantics Directed Compiler Generator
CC '92 Proceedings of the 4th International Conference on Compiler Construction
Semantics of Interaction (Abstract)
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
A Modular Approach to Denotational Semantics
Proceedings of the 4th International Conference on Category Theory and Computer Science
OASIS: An Optimizing Action-Based Compiler Generator
CC '94 Proceedings of the 5th International Conference on Compiler Construction
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
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 Varieties of Programming Language Semantics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Proceedings of the 8th international workshop on Specification and verification of component-based systems
A constructive semantics for basic aspect constructs
Semantics and algebraic specification
| Hi-index | 0.00 |
A domain-specific language (DSL) is a framework which is designed to precisely meet the needs of a particular application. Domain-specific languages exist for a variety of reasons. As productivity tools, they are used to make application prototyping and development faster and more robust in the presence of evolving requirements. Furthermore, by bridging the "semantic gap" between an application domain and program code, DSLs increase the opportunity to apply formal methods in proving properties of an application. In this paper, we contribute a synthesis of two existing systems that address the problem of providing sound semantic descriptions of realistic programming languages: action semantics and modular monadic semantics. The resulting synthesis, modular monadic action semantics, is compatible with action semantics yet adds true modularity and allows domain specific specifications to be made at a variety of levels.