On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
File:M15Mosses-Slides.pdf: Difference between revisions
From WG 2.11
Jump to navigationJump to search
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 |
(No difference)
|
Latest revision as of 12:53, 12 November 2015
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 | 0 × 0 (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 uses this file:
