Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
49 lines (25 sloc) 4.11 KB

Declarative Syntax Definition

In this chapter we explore the definition of syntax, which governs the form and structure of programs.

Slides

PDF

PDF

Further Reading

[DeclSD]Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth. Pure and declarative syntax definition: paradise lost and regained. In William R. Cook, Siobhán Clarke, Martin C. Rinard, editors, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. pages 918-932, ACM, Reno/Tahoe, Nevada, 2010. <http://doi.acm.org/10.1145/1869459.1869535>
[SPT]Lennart C. L. Kats, Rob Vermaas, Eelco Visser. Integrated language definition testing: enabling test-driven language development. In Cristina Videira Lopes, Kathleen Fisher, editors, Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011. pages 139-154, ACM, 2011. <http://doi.acm.org/10.1145/2048066.2048080>
[Completion]Luis Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser. Principled syntactic code completion using placeholders. In Tijs van der Storm, Emilie Balland, Dániel Varró, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016. pages 163-175, ACM, 2016. <https://doi.org/10.1145/2997364.2997374>
[Templates]Tobi Vollebregt, Lennart C. L. Kats, Eelco Visser. Declarative specification of template-based textual editors. In Anthony Sloane, Suzana Andova, editors, International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012. pages 1-7, ACM, 2012. <http://doi.acm.org/10.1145/2427048.2427056>
[SDF3]Syntax Definition with SDF3. Documentation. <http://www.metaborg.org/en/latest/source/langdev/meta/lang/sdf3/index.html>

https://en.wikipedia.org/wiki/Syntax

https://en.wikipedia.org/wiki/Syntax_(programming_languages)

https://en.wikipedia.org/wiki/Formal_language

https://en.wikipedia.org/wiki/Formal_grammar

https://en.wikipedia.org/wiki/Chomsky_hierarchy

https://en.wikipedia.org/wiki/Parsing