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
Tamarin: Concolic Disequivalence for MIPS
R.I.P.
👻
Ghosted
Arrows for Parallel Computation
R.I.P.
👻
Ghosted
Hygienic Source-Code Generation Using Functors
R.I.P.
👻
Ghosted
A critical analysis of string APIs: The case of Pharo
R.I.P.
👻
Ghosted
On the Generation of Initial Contexts for Effective Deadlock Detection
R.I.P.
👻
Ghosted
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems
R.I.P.
👻
Ghosted
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
R.I.P.
👻
Ghosted
Designing a pi-based Programming Language in the .NET framework: CLR interoperability from the Programmer's point of view
R.I.P.
👻
Ghosted
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
R.I.P.
👻
Ghosted
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
R.I.P.
👻
Ghosted
Proceedings XVI Jornadas sobre Programación y Lenguajes
R.I.P.
👻
Ghosted
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints
R.I.P.
👻
Ghosted
A Modularity Bug in Java 8
R.I.P.
👻
Ghosted
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources
R.I.P.
👻
Ghosted
Monadic Remote Invocation
R.I.P.
👻
Ghosted
Gang-GC: Locality-aware Parallel Data Placement Optimizations for Key-Value Storages
R.I.P.
👻
Ghosted
Presburger-Definable Parameterized Typestates
R.I.P.
👻
Ghosted
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking
R.I.P.
👻
Ghosted
h: A Plank for Higher-order Attribute Contraction Schemes
R.I.P.
👻
Ghosted
Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis
R.I.P.
👻
Ghosted
Proofs as Relational Invariants of Synthesized Execution Grammars
R.I.P.
👻
Ghosted
Symbolic Computation of the Worst-Case Execution Time of a Program
R.I.P.
👻
Ghosted