M. Anlauff (2000):
XASM – An Extensible, Component-Based ASM Language.
In: ASM 2000,
LNCS 1912.
Springer,
pp. 69–90,
doi:10.1007/3-540-44518-8_6.
M. Anlauff, P.W. Kutter & A. Pierantonio (1999):
Tool Support for Language Design and Prototyping with Montages.
In: CC'99,
LNCS 1575.
Springer,
pp. 296–299,
doi:10.1007/978-3-540-49051-7_22.
H. van Antwerpen, C. Bach Poulsen, A. Rouvoet & E. Visser (2018):
Scopes As Types.
Proc. ACM Program. Lang. 2,
pp. 114:1–114:30,
doi:10.1145/3276484.
H. van Antwerpen, P. Néron & A.P. Tolmach (2016):
A Constraint Language for Static Semantic Analysis Based on Scope Graphs.
In: Proc. PEPM 2016.
ACM,
pp. 49–60,
doi:10.1145/2847538.2847543.
L.T. van Binsbergen, P.D. Mosses & N. Sculthorpe (2019):
Executable Component-Based Semantics.
J. Log. Algebr. Meth. Program. 103,
pp. 184–212,
doi:10.1016/j.jlamp.2018.12.004.
L.T. van Binsbergen, N. Sculthorpe & P.D. Mosses (2016):
Tool Support for Component-Based Semantics.
In: Companion Proc. Modularity 2016.
ACM,
pp. 8–11,
doi:10.1145/2892664.2893464.
E. Börger (2017):
The Abstract State Machines Method for Modular Design and Analysis of Programming Languages.
J. Logic Comput. 27,
pp. 417–439,
doi:10.1093/logcom/exu077.
M. Churchill & P.D. Mosses (2013):
Modular Bisimulation Theory for Computations and Values.
In: FOSSACS 2013,
LNCS 7794.
Springer,
pp. 97–112,
doi:10.1007/978-3-642-37075-5.
M. Churchill, P.D. Mosses, N. Sculthorpe & P. Torrini (2015):
Reusable Components of Semantic Specifications.
LNCS Trans. Aspect Oriented Softw. Dev. 12,
pp. 132–179,
doi:10.1007/978-3-662-46734-3_4.
L.D. Couto, P. Gorm Larsen & M. Hasanagic (2015):
Towards Enabling Overture as a Platform for Formal Notation IDEs.
In: F-IDE 2015,
EPTCS 187,
pp. 14–27,
doi:10.4204/EPTCS.187.
C. Klein, J. Clements & C. Dimoulas (2012):
Run Your Research: On the Effectiveness of Lightweight Mechanization.
In: POPL 2012.
ACM,
pp. 285–296,
doi:10.1145/2103656.2103691.
P.D. Mosses (2004):
Modular Structural Operational Semantics.
J. Log. Algebr. Program. 60-61,
pp. 195–228,
doi:10.1016/j.jlap.2004.03.008.
P.D. Mosses (2019):
Software Meta-language Engineering and CBS.
J. Comput. Lang. 50,
pp. 39–48,
doi:10.1016/j.jvlc.2018.11.003.
P.D. Mosses & F. Vesely (2014):
FunKons: Component-Based Semantics in K.
In: WRLA 2014,
LNCS 8663.
Springer,
pp. 213–229,
doi:10.1007/978-3-319-12904-4_12.
PLanCompS Project (2019):
CBS: A Framework for Component-Based Specification of Programming Languages.
Available at https://plancomps.github.io/CBS-beta.
Beta release.
G. Rosu (2017):
K: A Semantic Framework for Programming Languages and Formal Analysis Tools.
In: Dependable Software Systems Engineering.
IOS Press,
pp. 186–206,
doi:10.3233/978-1-61499-810-5-186.
E. Visser (1997):
Syntax Definition for Language Prototyping.
University of Amsterdam.
E. Visser, G. Wachsmuth & A.P. Tolmach (2014):
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs.
In: Proc. Onward! 2014.
ACM,
pp. 95–111,
doi:10.1145/2661136.2661149.
Spoofax home page: https://spoofax.readthedocs.io.