Functional programming with bananas, lenses, envelopes and barbed wire
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Revised5 report on the algorithmic language scheme
ACM SIGPLAN Notices
Types and programming languages
Types and programming languages
The Definition of Standard ML
Type-Checking Revisited: Modular Error-Handling
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Yet another language extension scheme
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Hi-index | 0.00 |
For a language to be useful, it requires a robust and reliable implementation. Writing and maintaining such an implementation is a hard task, particularly for experimental or domain-specific language projects where resources are limited. This paper describes an implementation approach based on modular specifications of syntax and static semantics. Specification is done in a language description DSL, which serves both as a specification, and as code from which compiler front ends can be automatically generated.