A Module System for Domain-Specific Languages

DOI10.1017/S1471068414000337zbMath1307.68017arXiv1405.4041OpenAlexW3099670221MaRDI QIDQ2931279

Ethan Jackson

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.4041

zbMATH Keywords

domain-specific languageslogic programmingmodule systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Cites Work

• Contracts for concurrency
• An algebraic semantics for MOF
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

This page was built for publication: A Module System for Domain-Specific Languages