„Type Soundness“
Suchergebnisse
10 Treffer
-
Type sound syntactic language extension
-
Java(X): A Type-Based Program Analysis Framework – = Java(X): Ein Typ basiertes Programmanalyse Framework
-
Declarative Dynamic Object Reclassification
-
Monadic Type-And-Effect Soundness
-
Declarative Dynamic Object Reclassification (Artifact)
-
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
-
Functional Programming for Distributed Systems with XC
-
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
-
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions
-
Automating Type Soundness Proofs for Domain-Specific Languages