R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3783
Total Papers
3450
No Code
30
Twilight
303
Has Code
8.0%
Survival Rate
R.I.P.
👻
Ghosted
Sound Transpilation from Binary to Machine-Independent Code
R.I.P.
👻
Ghosted
An Asynchronous soundness theorem for concurrent separation logic
R.I.P.
👻
Ghosted
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript)
R.I.P.
👻
Ghosted
A denotational account of C11-style memory
R.I.P.
👻
Ghosted
Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph
R.I.P.
👻
Ghosted
Space Improvements and Equivalences in a Functional Core Language
R.I.P.
👻
Ghosted
AppLP: A Dialogue on Applications of Logic Programming
R.I.P.
👻
Ghosted
Verified type checker for Jolie programming language
R.I.P.
👻
Ghosted
Relationship Maintenance in Software Language Repositories
R.I.P.
👻
Ghosted
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog
R.I.P.
👻
Ghosted
Object-Oriented Theorem Proving (OOTP): First Thoughts
R.I.P.
👻
Ghosted
A Promising Future: Omission Failures in Choreographic Programming
R.I.P.
👻
Ghosted
CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
R.I.P.
👻
Ghosted
Exploiting Term Hiding to Reduce Run-time Checking Overhead
R.I.P.
👻
Ghosted
Loop Quasi-Invariant Chunk Motion by peeling with statement composition
R.I.P.
👻
Ghosted
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
R.I.P.
👻
Ghosted
Faster Algorithms for Weighted Recursive State Machines
R.I.P.
👻
Ghosted
Technical Report: Towards a Universal Code Formatter through Machine Learning
R.I.P.
👻
Ghosted
HPVM: A Portable Virtual Instruction Set for Heterogeneous Parallel Systems
R.I.P.
👻
Ghosted
Persistent Contextual Values as Inter-Process Layers
R.I.P.
👻
Ghosted
Proving Linearizability via Branching Bisimulation
R.I.P.
👻
Ghosted
Symbolic Abstract Contract Synthesis in a Rewriting Framework
R.I.P.
👻
Ghosted