User contributions for Peter

16 November 2022

• 23:2023:20, 16 November 2022 diff hist +4 WG211/M22Schedule →April 3rd-4th 2023 in Delft, The Netherlands
• 23:1723:17, 16 November 2022 diff hist +10 WG211/M22Schedule →Eelco Visser Commemorative Symposium
• 23:1223:12, 16 November 2022 diff hist +29 WG211/M22Schedule →April 3rd-4th 2023 in Delft, The Netherlands
• 23:0823:08, 16 November 2022 diff hist +1,153 N WG211/M22Schedule Created page with "=IFIP Working Group 2.11, Twenty-second Meeting= == April 3rd-4th 2023 in Delft, The Netherlands == The meeting will be hosted by Peter Mosses. The meeting will last 2 days..."
• 22:1322:13, 16 November 2022 diff hist +8 Main Page →Current Activity
• 22:1222:12, 16 November 2022 diff hist +67 Main Page →Past Activity

11 August 2022

• 11:0311:03, 11 August 2022 diff hist 0 m WG211/M21Schedule →Talks
• 09:4009:40, 11 August 2022 diff hist +710 N WG211/M21Mosses Created page with "The Spoofax language workbench supports precise code navigation for any language whose syntax and name resolution have been specified in its meta-languages. However, Spoofax o..." current
• 09:3909:39, 11 August 2022 diff hist +85 WG211/M21Schedule →Talks

25 May 2022

• 23:5423:54, 25 May 2022 diff hist +14 WG211/M21Schedule →Attendance

14 February 2020

• 16:4016:40, 14 February 2020 diff hist +1,207 N WG211/M20Mosses Created page with " == Modular SOS and static semantics == [https://pdmosses.github.io Peter Mosses] At the meeting in Kyoto, I talked about the CBS framework (Media:WG..." current

7 December 2019

• 00:4300:43, 7 December 2019 diff hist +14 WG211/M20Schedule →Attendance

31 March 2019

• 23:4723:47, 31 March 2019 diff hist −1 Main Page →Current Members

8 July 2018

• 17:4717:47, 8 July 2018 diff hist +54 N File:WG211 M18 Mosses slides.pdf Presented slides, updated with URL of CBS-beta release current
• 17:4417:44, 8 July 2018 diff hist +32 WG211/M18Schedule →Attendance current

25 May 2018

• 08:2508:25, 25 May 2018 diff hist +1,352 N WG211/M18Mosses Created page with "CBS is a framework and meta-language for component-based specification of programming languages by translation to so-called ‘funcons’ (fundamental programming constructs)...." current

23 May 2018

• 00:0700:07, 23 May 2018 diff hist +84 WG211/M18Schedule →Travel

17 May 2018

• 14:2114:21, 17 May 2018 diff hist +98 WG211/M18Schedule →Travel
• 14:1314:13, 17 May 2018 diff hist +55 WG211/M18Schedule →Talks

5 April 2018

• 23:2023:20, 5 April 2018 diff hist +14 WG211/M18Schedule →Attendance

12 November 2015

• 13:5513:55, 12 November 2015 diff hist +43 WG211/M15Schedule →Talks
• 13:5313:53, 12 November 2015 diff hist +337 N File:M15Mosses-Slides.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 i current

27 October 2015

• 13:3413:34, 27 October 2015 diff hist −1 WG211/M15Mosses No edit summary current

26 October 2015

• 13:1513:15, 26 October 2015 diff hist +481 N WG211/M15Mosses Created page with "The [http://www.plancomps.org PLanCompS project] has developed a component-based approach to formal semantics. Here, we present and demonstrate tool support for component-based l..."
• 13:0213:02, 26 October 2015 diff hist +22 WG211/M15Schedule →Talks

16 October 2015

• 17:3417:34, 16 October 2015 diff hist +50 WG211/M15Schedule →Talks and Schedule

13 September 2015

• 18:4818:48, 13 September 2015 diff hist +14 WG211/M15Schedule →Attendance