File:M15Mosses-Slides.pdf
From WG 2.11
M15Mosses-Slides.pdf (file size: 2.16 MB, MIME type: application/pdf)
The PLanCompS project (http://www.plancomps.org) has developed a component-based approach to formal semantics. Here, we present and demonstrate tool support for component-based language definitions, including semantics-based program execution, developed in collaboration with Neil Sculthorpe at Swansea and Thomas van Binsbergen at RHUL.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 12:53, 12 November 2015 | (2.16 MB) | Peter (talk | contribs) | The PLanCompS project (http://www.plancomps.org) has developed a component-based approach to formal semantics. Here, we present and demonstrate tool support for component-based language definitions, including semantics-based program execution, developed i |
- You cannot overwrite this file.
File usage
The following page links to this file:
