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
Custom Code Generation for a Graph DSL
R.I.P.
👻
Ghosted
We should Stop Claiming Generality in our Domain-Specific Language Papers
R.I.P.
👻
Ghosted
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details
R.I.P.
👻
Ghosted
Eliom: A Language for Modular Tierless Web Programming
R.I.P.
👻
Ghosted
Program algebra for Turing-machine programs
R.I.P.
👻
Ghosted
Technical Report: Using Loop Scopes with for-Loops
R.I.P.
👻
Ghosted
Inference Over Programs That Make Predictions
R.I.P.
👻
Ghosted
AutoParallel: A Python module for automatic parallelization and distributed execution of affine loop nests
R.I.P.
👻
Ghosted
CAMLroot: revisiting the OCaml FFI
R.I.P.
👻
Ghosted
BRISC-V Emulator: A Standalone, Installation-Free, Browser-Based Teaching Tool
R.I.P.
👻
Ghosted
Undecidability of Inferring Linear Integer Invariants
R.I.P.
👻
Ghosted
Exploiting Pointer Analysis in Memory Models for Deductive Verification
R.I.P.
👻
Ghosted
Safe Deferred Memory Reclamation with Types
R.I.P.
👻
Ghosted
Loop Optimization Framework
R.I.P.
👻
Ghosted
To Memory Safety through Proofs
R.I.P.
👻
Ghosted
McFly: Time-Travel Debugging for the Web
R.I.P.
👻
Ghosted
Type-directed Bounding of Collections in Reactive Programs
R.I.P.
👻
Ghosted
Correctness of Concurrent Objects under Weak Memory Models
R.I.P.
👻
Ghosted
Synthesizing Program-Specific Static Analyses
R.I.P.
👻
Ghosted
FormuLog: Datalog for static analysis involving logical formulae
R.I.P.
👻
Ghosted
Code Generation for Higher Inductive Types
R.I.P.
👻
Ghosted
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
R.I.P.
👻
Ghosted