@inproceedings(XASM, author = {M. Anlauff}, year = {2000}, title = {{XASM} -- An Extensible, Component-Based {ASM} Language}, booktitle = {ASM 2000}, series = {LNCS}, volume = {1912}, publisher = {Springer}, pages = {69--90}, doi = {10.1007/3-540-44518-8\_6}, ) @inproceedings(Montages, author = {M. Anlauff and P.W. Kutter and A. Pierantonio}, year = {1999}, title = {Tool Support for Language Design and Prototyping with {Montages}}, booktitle = {CC'99}, series = {LNCS}, volume = {1575}, publisher = {Springer}, pages = {296--299}, doi = {10.1007/978-3-540-49051-7\_22}, ) @article(Statix, author = {H. van Antwerpen and Bach Poulsen, C. and A. Rouvoet and E. Visser}, year = {2018}, title = {Scopes As Types}, journal = {Proc. ACM Program. Lang.}, volume = {2}, pages = {114:1--114:30}, doi = {10.1145/3276484}, ) @inproceedings(NaBL2, author = {H. van Antwerpen and P. N\'eron and A.P. Tolmach}, year = {2016}, title = {A Constraint Language for Static Semantic Analysis Based on Scope Graphs}, booktitle = {Proc. PEPM 2016}, publisher = {ACM}, pages = {49--60}, doi = {10.1145/2847538.2847543}, ) @article(JLAMP, author = {L.T. van Binsbergen and P.D. Mosses and N. Sculthorpe}, year = {2019}, title = {Executable Component-Based Semantics}, journal = {J. Log. Algebr. Meth. Program.}, volume = {103}, pages = {184--212}, doi = {10.1016/j.jlamp.2018.12.004}, ) @unpublished(Funcon.Tools, author = {L.T. van Binsbergen and N. Sculthorpe}, year = {2019}, title = {{funcons-tools}: A Modular Interpreter for Executing Funcons}, url = {https://hackage.haskell.org/package/funcons-tools}, note = {Hackage package}, ) @inproceedings(Modularity, author = {L.T. van Binsbergen and N. Sculthorpe and P.D. Mosses}, year = {2016}, title = {Tool Support for Component-Based Semantics}, booktitle = {Companion Proc. Modularity 2016}, publisher = {ACM}, pages = {8--11}, doi = {10.1145/2892664.2893464}, ) @article(ASM, author = {E. B{\"o}rger}, year = {2017}, title = {The Abstract State Machines Method for Modular Design and Analysis of Programming Languages}, journal = {J. Logic Comput.}, volume = {27}, pages = {417--439}, doi = {10.1093/logcom/exu077}, ) @inproceedings(FOSSACS2013, author = {M. Churchill and P.D. Mosses}, year = {2013}, title = {Modular Bisimulation Theory for Computations and Values}, booktitle = {FOSSACS 2013}, series = {LNCS}, volume = {7794}, publisher = {Springer}, pages = {97--112}, doi = {10.1007/978-3-642-37075-5}, ) @article(TAOSD, author = {M. Churchill and P.D. Mosses and N. Sculthorpe and P. Torrini}, year = {2015}, title = {Reusable Components of Semantic Specifications}, journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.}, volume = {12}, pages = {132--179}, doi = {10.1007/978-3-662-46734-3\_4}, ) @inproceedings(Overture, author = {L.D. Couto and Gorm Larsen, P. and M. Hasanagic}, year = {2015}, title = {Towards Enabling Overture as a Platform for Formal Notation IDEs}, booktitle = {F-IDE 2015}, series = {EPTCS}, volume = {187}, pages = {14--27}, doi = {10.4204/EPTCS.187}, ) @inproceedings(Redex, author = {C. Klein and J. Clements and C. Dimoulas}, year = {2012}, title = {Run Your Research: On the Effectiveness of Lightweight Mechanization}, booktitle = {POPL 2012}, publisher = {ACM}, pages = {285--296}, doi = {10.1145/2103656.2103691}, ) @article(MSOS, author = {P.D. Mosses}, year = {2004}, title = {Modular Structural Operational Semantics}, journal = {J. Log. Algebr. Program.}, volume = {60-61}, pages = {195--228}, doi = {10.1016/j.jlap.2004.03.008}, ) @unpublished(CBS-Editor, author = {P.D. Mosses}, year = {2019}, title = {An IDE for CBS}, url = {https://plancomps.github.io/CBS-beta/docs/F-IDE-2019/CBS.zip}, note = {Language specification project for use with Spoofax-2.5.7, unreleased prototype}, ) @article(JVLC, author = {P.D. Mosses}, year = {2019}, title = {Software Meta-language Engineering and {CBS}}, journal = {J. Comput. Lang.}, volume = {50}, pages = {39--48}, doi = {10.1016/j.jvlc.2018.11.003}, ) @inproceedings(FunKons, author = {P.D. Mosses and F. Vesely}, year = {2014}, title = {{FunKons}: Component-Based Semantics in {K}}, booktitle = {WRLA 2014}, series = {LNCS}, volume = {8663}, publisher = {Springer}, pages = {213--229}, doi = {10.1007/978-3-319-12904-4\_12}, ) @unpublished(CBS-beta, author = {{PLanCompS Project}}, year = {2019}, title = {{CBS}: A Framework for Component-Based Specification of Programming Languages}, url = {https://plancomps.github.io/CBS-beta}, note = {Beta release}, ) @incollection(K, author = {G. Rosu}, year = {2017}, title = {K: A Semantic Framework for Programming Languages and Formal Analysis Tools}, booktitle = {Dependable Software Systems Engineering}, publisher = {IOS Press}, pages = {186--206}, doi = {10.3233/978-1-61499-810-5-186}, ) @phdthesis(Eduardo, author = {L.E. de Souza Amorim}, year = {2019}, title = {Declarative Syntax Definition for Modern Language Workbenches}, school = {Delft University of Technology}, doi = {10.4233/uuid:43d7992a-7077-47ba-b38f-113f5011d07f}, ) @misc(SDF3, author = {L.E. de Souza Amorim and E. Visser and G. Wachsmuth}, year = {2014}, title = {Developing {SDF3}}, url = {https://www.sleconf.org/2014/parsing-slides/2-sdf3-slides.pdf}, note = {Slides presented at Parsing@SLE~2014}, ) @phdthesis(SDF2, author = {E. Visser}, year = {1997}, title = {Syntax Definition for Language Prototyping}, school = {University of Amsterdam}, ) @inproceedings(Spoofax, author = {E. Visser and G. Wachsmuth and A.P. Tolmach}, year = {2014}, title = {A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs}, booktitle = {Proc. Onward! 2014}, publisher = {ACM}, pages = {95--111}, doi = {10.1145/2661136.2661149}, note = {Spoofax home page: \url{https://spoofax.readthedocs.io}}, )