JastAdd Attribute Grammar System in PLVRG this week
2 views
Skip to first unread message
Anthony Sloane
Jun 4, 2019, 10:24:03 PM6/4/19
to O365-Group-Computing Academic, O365-Group-Computing Postgraduate, sci.plrg-reading-Google-Group
The Programming Languages and Verification Reading Group at Macquarie University, Department of Computing meets on (many) Fridays
from 4-6pm in the Jan Hext Seminar Room (room 221, 4 Research Park Drive, formerly the BD Building).
plvmq.bitbucket.io/#readinggroup/
Our current topic is:
The JastAdd Attribute Grammar System
On June 7, Dr Niklas Fors will present the JastAdd system which has been developed by his group at Lund University.
cheers,
plvmq.bitbucket.io/#readinggroup/
Our current topic is:
The JastAdd Attribute Grammar System
On June 7, Dr Niklas Fors will present the JastAdd system which has been developed by his group at Lund University.
JastAdd is a tool for writing declarative and extensible software language specifications (http://jastadd.org). It is based on Reference Attribute Grammars (RAGs), which is a formalism for decorating trees with
computed properties defined by equations. RAGs extend Knuth's Attribute Grammars with references, allowing graphs to be computed on top of the tree, which is useful for several static analyses. JastAdd has successfully been used to implement compilers for
several languages, including Java and Modelica. This talk gives an introduction to attribute grammars and JastAdd, and some of its applications.
cheers,
Tony
Reply all
Reply to author
Forward
0 new messages