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
Property irrelevant predicates
R.I.P.
👻
Ghosted
Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE
R.I.P.
👻
Ghosted
Proceedings XIV Jornadas sobre Programación y Lenguajes
R.I.P.
👻
Ghosted
KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents
R.I.P.
👻
Ghosted
Locally-Oriented Programming: A Simple Programming Model for Stencil-Based Computations on Multi-Level Distributed Memory Architectures
R.I.P.
👻
Ghosted
XQOWL: An Extension of XQuery for OWL Querying and Reasoning
R.I.P.
👻
Ghosted
Control Flow Analysis for SF Combinator Calculus
R.I.P.
👻
Ghosted
Using Functional Programming for Development of Distributed, Cloud and Web Applications in F#
R.I.P.
👻
Ghosted
Synthesizing Short-Circuiting Validation of Data Structure Invariants
R.I.P.
👻
Ghosted
Anonymous On-line Communication Between Program Analyses
R.I.P.
👻
Ghosted
Block-Level Parallelism in Parsing Block Structured Languages
R.I.P.
👻
Ghosted
Towards a Direct, By-Need Evaluator for Dependently Typed Languages
R.I.P.
👻
Ghosted
Implementing a teleo-reactive programming system
R.I.P.
👻
Ghosted
Programs as proofs
R.I.P.
👻
Ghosted
On Practical SMT-Based Type Error Localization
R.I.P.
👻
Ghosted
A Logical Approach to Event Handling in Imperative Languages
R.I.P.
👻
Ghosted
Incorporating User Interaction into Imperative Languages
R.I.P.
👻
Ghosted
Logic Programming with Macro Connectives
R.I.P.
👻
Ghosted
Tabling as a Library with Delimited Control
R.I.P.
👻
Ghosted
A Binary Data Stream Scripting Language
R.I.P.
👻
Ghosted
Abstract Gringo
R.I.P.
👻
Ghosted
Practical Run-time Checking via Unobtrusive Property Caching
R.I.P.
👻
Ghosted