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
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
R.I.P.
👻
Ghosted
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata
R.I.P.
👻
Ghosted
Stateful Behavioral Types for ABS
R.I.P.
👻
Ghosted
A Calculus for Modeling Floating Authorizations
R.I.P.
👻
Ghosted
Code Reuse With Transformation Objects
R.I.P.
👻
Ghosted
Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers
R.I.P.
👻
Ghosted
Zero-Cost Coercions for Program and Proof Reuse
R.I.P.
👻
Ghosted
A Formalization for Specifying and Implementing Correct Pull-Stream Modules
R.I.P.
👻
Ghosted
Scheduling and Tiling Reductions on Realistic Machines
R.I.P.
👻
Ghosted
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
R.I.P.
👻
Ghosted
Abstractions for AI-Based User Interfaces and Systems
R.I.P.
👻
Ghosted
Hot-Rodding the Browser Engine: Automatic Configuration of JavaScript Compilers
R.I.P.
👻
Ghosted
Information-gain computation
R.I.P.
👻
Ghosted
Bridging Static and Dynamic Program Analysis using Fuzzy Logic
R.I.P.
👻
Ghosted
Mapping Objects to Persistent Predicates
R.I.P.
👻
Ghosted
Transparent Replication Using Metaprogramming in Cyan
R.I.P.
👻
Ghosted
Data
R.I.P.
👻
Ghosted
The Maximal MAM, a Reasonable Implementation of the Maximal Strategy
R.I.P.
👻
Ghosted
Declarativeness: the work done by something else
R.I.P.
👻
Ghosted
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra
R.I.P.
👻
Ghosted
Eventually Sound Points-To Analysis with Missing Code
R.I.P.
👻
Ghosted
A Semantics for Probabilistic Control-Flow Graphs
R.I.P.
👻
Ghosted