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
Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
R.I.P.
👻
Ghosted
Automatic Inference of Relational Object Invariants
R.I.P.
👻
Ghosted
Scaling Program Synthesis Based Technology Mapping with Equality Saturation
R.I.P.
👻
Ghosted
Spineless Traversal for Layout Invalidation
R.I.P.
👻
Ghosted
MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
R.I.P.
👻
Ghosted
Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
R.I.P.
👻
Ghosted
Program Analysis via Multiple Context Free Language Reachability
R.I.P.
👻
Ghosted
LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
R.I.P.
👻
Ghosted
Clean for Haskell Programmers
R.I.P.
👻
Ghosted
CUTECat: Concolic Execution for Computational Law
R.I.P.
👻
Ghosted
Semantics of Sets of Programs
R.I.P.
👻
Ghosted
Structural Temporal Logic for Mechanized Program Verification
R.I.P.
👻
Ghosted
Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
R.I.P.
👻
Ghosted
WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
R.I.P.
👻
Ghosted
Reasoning About Exceptional Behavior At the Level of Java Bytecode
R.I.P.
👻
Ghosted
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
R.I.P.
👻
Ghosted
Memory Consistency and Program Transformations
R.I.P.
👻
Ghosted
Introducing Quantification into a Hierarchical Graph Rewriting Language
R.I.P.
👻
Ghosted
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
R.I.P.
👻
Ghosted
On Computational Indistinguishability and Logical Relations
R.I.P.
👻
Ghosted
A Relational Solver for Constraint-based Type Inference
R.I.P.
👻
Ghosted
Verifying Solutions to Semantics-Guided Synthesis Problems
R.I.P.
👻
Ghosted