Zum Inhalt springen

  1. Grelck, Clemens [Herausgeber:in]; Huch, Frank [Sonstige Person, Familie und Körperschaft]; Michaelson, Greg [Sonstige Person, Familie und Körperschaft]; Trinder, Phil [Sonstige Person, Familie und Körperschaft] ; IFL 16 2004 Lübeck

    Implementation and application of functional languages : 16th international workshop, IFL 2004, Lübeck, Germany, September 8 - 10, 2004 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3474

  2. Trinder, Phil [Herausgeber:in]; Michaelson, Greg [Herausgeber:in]; Pena, Ricardo [Herausgeber:in]

    Implementation of Functional Languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3145

  3. Grelck, Clemens [Sonstige Person, Familie und Körperschaft]; Huch, Frank [Sonstige Person, Familie und Körperschaft]; Michaelson, Greg [Sonstige Person, Familie und Körperschaft]; Trinder, Phil [Sonstige Person, Familie und Körperschaft]

    Implementation and Application of Functional Languages (vol. # 3474) : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3474

  4. Hammond, Kevin [Verfasser:in]; Ferdinand, Christian [Verfasser:in]; Heckmann, Reinhold [Verfasser:in]; Dyckhoff, Roy [Verfasser:in]; Hofman, Martin [Verfasser:in]; Jost, Steffen [Verfasser:in]; Loidl, Hans-Wolfgang [Verfasser:in]; Michaelson, Greg [Verfasser:in]; Pointon, Robert [Verfasser:in]; Scaife, Norman [Verfasser:in]; Sérot, Jocelyn [Verfasser:in]; Wallace, Andy [Verfasser:in] ; Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy Dyckhoff and Martin Hofman and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert Pointon and Norman Scaife and Jocelyn Sérot and Andy Wallace [Mitwirkende:r]

    Towards Formally Verifiable WCET Analysis for a Functional Programming Language

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006

  6. Michaelson, Greg

    Review of Formal Methods: An Appetizer <i>By Flemming Nielson and Hanne Riis Nielson</i> Springer, 2019, ISBN 978-3-030-05155-6, https://link.springer.com/book/10.1007/978-3-030-05156-3, pp. 1–160

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2022

    Erschienen in: Formal Aspects of Computing, 34 (2022) 2, Seite 1-2

  7. Michaelson, Greg

    Bernhard Steffen, Oliver R¨uthing, and MichaelHuth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches : Springer, 2 April 2018, 258 pp, 156x16x234mm,ISBN-13: 978-3319683966 (Hardback, £28.99),ISBN: 978-3030098339 (Paperback, £27.99)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2019

    Erschienen in: Formal Aspects of Computing, 31 (2019) 5, Seite 641-642

  9. Michaelson, Greg

    Alison Cawsey

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    MIT Press - Journals, 2009

    Erschienen in: Computational Linguistics, 35 (2009) 4, Seite 475-481