User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 22:20, 16 November 2022 (diff | hist) . . (+4) . . WG211/M22Schedule (→April 3rd-4th 2023 in Delft, The Netherlands)
- 22:17, 16 November 2022 (diff | hist) . . (+10) . . WG211/M22Schedule (→Eelco Visser Commemorative Symposium)
- 22:12, 16 November 2022 (diff | hist) . . (+29) . . WG211/M22Schedule (→April 3rd-4th 2023 in Delft, The Netherlands)
- 22: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...")
- 21:13, 16 November 2022 (diff | hist) . . (+8) . . Main Page (→Current Activity)
- 21:12, 16 November 2022 (diff | hist) . . (+67) . . Main Page (→Past Activity)
- 10:03, 11 August 2022 (diff | hist) . . (0) . . m WG211/M21Schedule (→Talks)
- 08: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)
- 08:39, 11 August 2022 (diff | hist) . . (+85) . . WG211/M21Schedule (→Talks)
- 22:54, 25 May 2022 (diff | hist) . . (+14) . . WG211/M21Schedule (→Attendance)
- 15: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)
- 23:43, 6 December 2019 (diff | hist) . . (+14) . . WG211/M20Schedule (→Attendance)
- 22:47, 31 March 2019 (diff | hist) . . (-1) . . Main Page (→Current Members)
- 16:47, 8 July 2018 (diff | hist) . . (+54) . . N File:WG211 M18 Mosses slides.pdf (Presented slides, updated with URL of CBS-beta release) (current)
- 16:44, 8 July 2018 (diff | hist) . . (+32) . . WG211/M18Schedule (→Attendance) (current)
- 07: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:07, 22 May 2018 (diff | hist) . . (+84) . . WG211/M18Schedule (→Travel)
- 13:21, 17 May 2018 (diff | hist) . . (+98) . . WG211/M18Schedule (→Travel)
- 13:13, 17 May 2018 (diff | hist) . . (+55) . . WG211/M18Schedule (→Talks)
- 22:20, 5 April 2018 (diff | hist) . . (+14) . . WG211/M18Schedule (→Attendance)
- 12:55, 12 November 2015 (diff | hist) . . (+43) . . WG211/M15Schedule (→Talks)
- 12: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)
- 12:34, 27 October 2015 (diff | hist) . . (-1) . . WG211/M15Mosses (current)
- 12: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...")
- 12:02, 26 October 2015 (diff | hist) . . (+22) . . WG211/M15Schedule (→Talks)
- 16:34, 16 October 2015 (diff | hist) . . (+50) . . WG211/M15Schedule (→Talks and Schedule)
- 17:48, 13 September 2015 (diff | hist) . . (+14) . . WG211/M15Schedule (→Attendance)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
