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
Search results
From WG 2.11
Jump to navigationJump to search
- ...Genetic Makeup of Linux Device Drivers'' by Julia Lawall (joint work with Peter Senna Tschudin, Laurent Reveillere, Lingxiao Jiang, David Lo and Gilles Mul ...485 bytes (74 words) - 09:23, 3 March 2014
- Joint work with Lars-Peter Ellekilde and Johan Sund Laursen ...542 bytes (80 words) - 11:51, 18 September 2014
- Joint work with Lars-Peter Ellekilde and Johan Sund Laursen ...541 bytes (80 words) - 19:13, 27 August 2015
- '''PLanCompS: Programming Language Components and Specifications''' by Peter Mosses ...948 bytes (131 words) - 12:06, 12 December 2011
- ''Component-Based Semantics for Caml Light'' by Peter Mosses (joint work with Martin Churchill) ...916 bytes (131 words) - 12:45, 2 April 2013
- '''Component-based bisimilarity''' by Peter Mosses ...926 bytes (140 words) - 14:56, 31 May 2012
- [https://pdmosses.github.io Peter Mosses] ...1 KB (176 words) - 16:40, 14 February 2020
- ...Program Generation (Organizers: Eelco Visser. Participants: Walid Taha, Peter Sestoft, Jeremy Siek, Markus Pueschel, ... ) # (Saturday) Library Specialization (Organizers: Yannis Smaragdakis, Peter Sestoft. Participants: Jeremy Siek, Harold Ossher, Stephanie Weirich, Bari ...15 KB (1,947 words) - 15:39, 16 December 2011
- ...ian Kaestner, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Peter Mosses, Nate Nystrom, Derek Rayside, Laurent Reveillere, Ina Schaefer, Ulri ...0Mosses | PLanCompS: Programming Language Components and Specifications ]] Peter Mosses<br> ...7 KB (1,054 words) - 12:57, 20 December 2011
- ..., Christian Lengauer, Geoff Mainland, Antoine Mine (Monday and Wednesday), Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late aft * Peter Mosses [[WG211/M20Mosses | Modular SOS and static semantics]] ...9 KB (1,302 words) - 09:36, 20 February 2020
- <li> Peter Sestoft: [[Media:sestoft.ppt | Zero-overhead aspects for .NET: The YIIHAW a Peter Sestoft, ...8 KB (1,198 words) - 15:40, 16 December 2011
- * Peter Sestoft ++ Peter Sestoft== ...15 KB (1,901 words) - 12:06, 12 December 2011
- ...Herrmann, Jun Inoue, Christian Kaestner, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell (talk Monday or Tuesday), Markus Puschel, Klaus Oste * [[WG211/M11Mosses | Component-based bisimilarity]] Peter Mosses [[Media:M11slidesMosses.pdf | (slides)]] ...12 KB (1,744 words) - 18:23, 17 July 2013
- ...Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Derek Raysid Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]] ...10 KB (1,386 words) - 14:33, 6 June 2018
- ...iw, Sebastian Erdweg, Robert Glück, Ohad Kammar, Paul Kelly, Julia Lawall, Peter Mosses, Christoph Reichenbach, Ulrik Pagh Schultz, Thiago Rocha Silva, Satn * Peter Mosses [[WG211/M21Mosses | Using Spoofax to Support Online Code Navigation] ...13 KB (2,072 words) - 23:19, 27 February 2023
- |[https://pdmosses.github.io Peter Mosses] (UK, NL) ...6 KB (917 words) - 16:13, 27 August 2025
- * Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- Peter Mosses (not Thursday), ...17 KB (2,543 words) - 17:44, 8 July 2018
- The meeting will be hosted by [https://pdmosses.github.io Peter Mosses]. * Peter Mosses ...11 KB (1,662 words) - 12:51, 28 April 2023
- ...an Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger * [[WG211/M12Mosses | Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday) [[Media:M12_mosses.pdf | (slides)]] ...12 KB (1,909 words) - 10:07, 13 November 2014
- * Peter Mosses * Peter Mosses [[ WG211/M24Mosses | Denotational Semantics in Agda ]] ...17 KB (2,513 words) - 17:23, 5 December 2024
