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
Fast and Extensible Hybrid Embeddings with Micros
R.I.P.
👻
Ghosted
Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
R.I.P.
👻
Ghosted
Termination Analysis of Linear-Constraint Programs
R.I.P.
👻
Ghosted
Fixed Parameter Tractable Linearizability Monitoring for Stack, Queue and Anagram Agnostic Data Types
R.I.P.
👻
Ghosted
Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
R.I.P.
👻
Ghosted
Semantically Reflected Programs
R.I.P.
👻
Ghosted
From Traces to Program Incorrectness: A Type-Theoretic Approach
R.I.P.
👻
Ghosted
Type-Based Incorrectness Reasoning
R.I.P.
👻
Ghosted
Decision Procedure for A Theory of String Sequences
R.I.P.
👻
Ghosted
A Hoare Logic for Symmetry Properties
R.I.P.
👻
Ghosted
CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
R.I.P.
👻
Ghosted
Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
R.I.P.
👻
Ghosted
Solvable Tuple Patterns and Their Applications to Program Verification
R.I.P.
👻
Ghosted
Syntactic Completions with Material Obligations
R.I.P.
👻
Ghosted
SafeTree: Expressive Tree Policies for Microservices
R.I.P.
👻
Ghosted
Fair Termination for Resource-Aware Active Objects
R.I.P.
👻
Ghosted
Probabilistic Inference for Datalog with Correlated Inputs
R.I.P.
👻
Ghosted
Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
R.I.P.
👻
Ghosted
Homomorphism Calculus for User-Defined Aggregations
R.I.P.
👻
Ghosted
Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
R.I.P.
👻
Ghosted
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
R.I.P.
👻
Ghosted
Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
R.I.P.
👻
Ghosted