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
Sparse Attention-Based Neural Networks for Code Classification
R.I.P.
👻
Ghosted
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)
R.I.P.
👻
Ghosted
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding
R.I.P.
👻
Ghosted
Multi-structure Objects Points-to Analysis
R.I.P.
👻
Ghosted
A Pure Demand Operational Semantics with Applications to Program Analysis
R.I.P.
👻
Ghosted
Optimal Symbolic Bound Synthesis
R.I.P.
👻
Ghosted
The Calysto Scheme Project
R.I.P.
👻
Ghosted
Proceedings of The 2023 Scheme and Functional Programming Workshop
R.I.P.
👻
Ghosted
Visualizing Why Nondeterministic Finite-State Automata Reject
R.I.P.
👻
Ghosted
ORTAC+ : A User Friendly Domain Specific Language for Multi-Agent Mission Planning
R.I.P.
👻
Ghosted
Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version)
R.I.P.
👻
Ghosted
Awkward Just-In-Time (JIT) Compilation: A Developer's Experience
R.I.P.
👻
Ghosted
Compilation Semantics for a Programming Language with Versions
R.I.P.
👻
Ghosted
The Design and Implementation of an Extensible System Meta-Programming Language
R.I.P.
👻
Ghosted
Types and Semantics for Extensible Data Types (Extended Version)
R.I.P.
👻
Ghosted
Design of Reversible Computing Systems; Large Logic, Languages, and Circuits
R.I.P.
👻
Ghosted
Maximal Simplification of Polyhedral Reductions
R.I.P.
👻
Ghosted
Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis
R.I.P.
👻
Ghosted
A Two-Level Linear Dependent Type Theory
R.I.P.
👻
Ghosted
Dependent Type Refinements for Futures
R.I.P.
👻
Ghosted
CRIL: A Concurrent Reversible Intermediate Language
R.I.P.
👻
Ghosted
Deriving Abstract Interpreters from Skeletal Semantics
R.I.P.
👻
Ghosted