References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. L.T. van Binsbergen & N. Sculthorpe (2019): funcons-tools: A Modular Interpreter for Executing Funcons. Available at https://hackage.haskell.org/package/funcons-tools. Hackage package.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. P.D. Mosses (2019): An IDE for CBS. Available at https://plancomps.github.io/CBS-beta/docs/F-IDE-2019/CBS.zip. Language specification project for use with Spoofax-2.5.7, unreleased prototype.
  15. 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.
  16. 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.
  17. PLanCompS Project (2019): CBS: A Framework for Component-Based Specification of Programming Languages. Available at https://plancomps.github.io/CBS-beta. Beta release.
  18. 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.
  19. L.E. de Souza Amorim (2019): Declarative Syntax Definition for Modern Language Workbenches. Delft University of Technology, doi:10.4233/uuid:43d7992a-7077-47ba-b38f-113f5011d07f.
  20. L.E. de Souza Amorim, E. Visser & G. Wachsmuth (2014): Developing SDF3. Available at https://www.sleconf.org/2014/parsing-slides/2-sdf3-slides.pdf. Slides presented at Parsing@SLE 2014.
  21. E. Visser (1997): Syntax Definition for Language Prototyping. University of Amsterdam.
  22. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org