Zum Inhalt springen

  1. Rodríguez, Leonardo [VerfasserIn]; Fridlender, Daniel [VerfasserIn]; Pagano, Miguel [VerfasserIn] ; Leonardo Rodríguez and Daniel Fridlender and Miguel Pagano [MitwirkendeR]

    A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative 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, 2014

  2. Attar, Pejman [VerfasserIn] ; Nice [MitwirkendeR]; Boussinot, Frédéric [MitwirkendeR]; Castellani, Ilaria [MitwirkendeR]

    Vers un langage synchrone sûr et securisé ; Towards a safe and secure synchronous language

    Hochschulschriften
    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.

    theses.fr, 2013-12-12

  4. Kogtenkov, Alexander [VerfasserIn] ; Meyer, Bertrand [MitwirkendeR]; Furia, Carlo A. [MitwirkendeR]; Mazzara, Manuel [MitwirkendeR]; Meijer, Erik [MitwirkendeR]; Thiele, Lothar [MitwirkendeR]

    Void safety

    Hochschulschriften
    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.

    ETH Zurich, 2017-01-31

  5. Dagnino, Francesco [VerfasserIn] ; Zucca, Elena [Sonstige Person, Familie und Körperschaft]; Bono, Viviana [Sonstige Person, Familie und Körperschaft]; Dezani-Ciancaglini, Mariangiola [Sonstige Person, Familie und Körperschaft]

    Soundness conditions for big-step semantics

    Videos
    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.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Erschienen in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)

  6. Ancona, Davide [VerfasserIn]; Dagnino, Francesco [VerfasserIn]; Rot, Jurriaan [VerfasserIn]; Zucca, Elena [VerfasserIn] ; Davide Ancona and Francesco Dagnino and Jurriaan Rot and Elena Zucca [MitwirkendeR]

    A Big Step from Finite to Infinite Computations (SCICO Journal-first)

    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, 2020

  12. Dagnino, Francesco; Bono, Viviana; Zucca, Elena; Dezani-Ciancaglini, Mariangiola

    Programming Languages and Systems: Soundness Conditions for Big-Step Semantics

    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.

    Springer International Publishing, 2020

    Erschienen in: Programming Languages and Systems