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
Automatic Reasoning on Recursive Data-Structures with Sharing
R.I.P.
👻
Ghosted
Optimizing Solution Quality in Synchronization Synthesis
R.I.P.
👻
Ghosted
QINL: Query-integrated Languages
R.I.P.
👻
Ghosted
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs
R.I.P.
👻
Ghosted
A Formal Model for Direct-style Asynchronous Observables
R.I.P.
👻
Ghosted
On Termination of Polynomial Programs with Equality Conditions
R.I.P.
👻
Ghosted
Modelling the Evolution of Programming Languages
R.I.P.
👻
Ghosted
Type-Based Analysis for Session Inference
R.I.P.
👻
Ghosted
An encoding of array verification problems into array-free Horn clauses
R.I.P.
👻
Ghosted
Unlocking Blocked Communicating Processes
R.I.P.
👻
Ghosted
Building an IDE for the Calculational Derivation of Imperative Programs
R.I.P.
👻
Ghosted
Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015)
R.I.P.
👻
Ghosted
Proceedings Second International Workshop on Formal Integrated Development Environment
R.I.P.
👻
Ghosted
jUCM: Universal Class Morphing (position paper)
R.I.P.
👻
Ghosted
Needed Computations Shortcutting Needed Steps
R.I.P.
👻
Ghosted
Opportunities for a Truffle-based Golo Interpreter
R.I.P.
👻
Ghosted
Automating Abstract Interpretation of Abstract Machines
R.I.P.
👻
Ghosted
Functional Programming is Free
R.I.P.
👻
Ghosted
Interface Reconciliation in Kahn Process Networks using CSP and SAT
R.I.P.
👻
Ghosted
Compositional Invariant Generation via Linear Recurrence Analysis
R.I.P.
👻
Ghosted
Static Analysis of File-Processing Programs using File Format Specifications
R.I.P.
👻
Ghosted
The ModelCC Model-Driven Parser Generator
R.I.P.
👻
Ghosted