„Type Soundness“

Suchergebnisse

10 Treffer

• Type sound syntactic language extension
  Lorenzen, Florian ; Pepper, Peter ; Mezini, Mira ; Nestmann, Uwe 2015 Technische Universität Berlin
• Java(X): A Type-Based Program Analysis Framework – = Java(X): Ein Typ basiertes Programmanalyse Framework
  Degen, Markus ; Thiemann, Peter 2011 Universität
• Declarative Dynamic Object Reclassification
  Sieve, Riccardo ; Kamburjan, Eduard ; Damiani, Ferruccio ; Johnsen, Einar Broch 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Monadic Type-And-Effect Soundness
  Dagnino, Francesco ; Giannini, Paola ; Zucca, Elena 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Declarative Dynamic Object Reclassification (Artifact)
  Sieve, Riccardo ; Kamburjan, Eduard ; Damiani, Ferruccio ; Johnsen, Einar Broch
• Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
  Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco
• Functional Programming for Distributed Systems with XC
  Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
  Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions
  Coquand, Catarina
• Automating Type Soundness Proofs for Domain-Specific Languages
  Grewe, Sylvia ; Mezini, Mira ; Kovács, Laura ; Erdweg, Sebastian Thore 2019 Universitäts- und Landesbibliothek Darmstadt