R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3799
Total Papers
3450
No Code
30
Twilight
319
Has Code
8.4%
Survival Rate
R.I.P.
👻
Ghosted
Abductive functional programming, a semantic approach
R.I.P.
👻
Ghosted
Context-Updates Analysis and Refinement in Chisel
R.I.P.
👻
Ghosted
Structural Resolution for Abstract Compilation of Object-Oriented Languages
R.I.P.
👻
Ghosted
Extending Functional Languages with High-Level Exception Handling
R.I.P.
👻
Ghosted
Context Generation from Formal Specifications for C Analysis Tools
R.I.P.
👻
Ghosted
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation
R.I.P.
👻
Ghosted
Abstract Interpretation of Stateful Networks
R.I.P.
👻
Ghosted
Revisiting Elementary Denotational Semantics
R.I.P.
👻
Ghosted
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
R.I.P.
👻
Ghosted
Properties of Normalization for a math based intermediate representation
R.I.P.
👻
Ghosted
Operational Semantics of Process Monitors
R.I.P.
👻
Ghosted
Compile-Time Extensions to Hybrid ODEs
R.I.P.
👻
Ghosted
Generating Representative Executions [Extended Abstract]
R.I.P.
👻
Ghosted
Bilateral Proofs of Safety and Progress Properties of Concurrent Programs
R.I.P.
👻
Ghosted
Well-Behaved Model Transformations with Model Subtyping
R.I.P.
👻
Ghosted
Beyond-Regular Typestate
R.I.P.
👻
Ghosted
Trace Properties from Separation Logic Specifications
R.I.P.
👻
Ghosted
SEA: String Executability Analysis by Abstract Interpretation
R.I.P.
👻
Ghosted
Optimized Polynomial Evaluation with Semantic Annotations
R.I.P.
👻
Ghosted
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
R.I.P.
👻
Ghosted
Building Code with Dynamic Staging
R.I.P.
👻
Ghosted
Proust: A Nano Proof Assistant
R.I.P.
👻
Ghosted