Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Realistic compiler generation
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
From custom applications to domain-specific frameworks
Communications of the ACM
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Programming pearls: little languages
Communications of the ACM
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Bay area rapid transit district advance automated train control system case study description
High integrity software
High Integrity Compilation: A Case Study
High Integrity Compilation: A Case Study
Introduction to Constraint Logic Programming
Introduction to Constraint Logic Programming
Semantics-directed machine architecture
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic Generation of Provably Correct Parallelizing Compilers
ICPP '98 Proceedings of the 1998 International Conference on Parallel Processing
Architecture Software Using: A Methodology for Language Development
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Verification of Compiler Correctness for the WAM
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
Actress: An Action Semantics Directed Compiler Generator
CC '92 Proceedings of the 4th International Conference on Compiler Construction
Viewing A Program Transformation System At Work
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
"-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems
CSB '02 Proceedings of the IEEE Computer Society Conference on Bioinformatics
State determination in hard-embedded systems
State determination in hard-embedded systems
Modular monadic semantics and compilation
Modular monadic semantics and compilation
Towards provably correct code generation via horn logical continuation semantics
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Hi-index | 0.00 |
Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. However, designing of a domain specific language is a difficult task. The design of a domain specific language will evolve as it is used more and more and experienced is gained by its designers. Being able to rapidly develop the implementation infrastructure (interpreter, compiler, debugger, profiler, etc.) of a domain specific language is thus of utmost importance so that as the language evolves, the implementation infrastructure can keep pace. In this paper we present a framework for automatically generating interpreters, compilers, debuggers, and profilers from semantic specification of a domain specific language. We illustrate our approach via the SCR language, a language used by the US defense department for developing control systems.