🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

First Class Call Stacks: Exploring Head Reduction

Philip Johnson-Freyd, Paul Downen, Zena M. Ariola

cs.PL 🏛 IASTED International Multi-Conference on Wireless and Optical Communications 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Event-driven Adaptation in COP

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

cs.PL 🏛 Places 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Inter-language Collaboration in an Object-oriented Virtual Machine

Matthias Springer

cs.PL 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Tighter Loop Bound Analysis (Technical report)

Pavel Čadek, Jan Strejček, Marek Trtík

cs.PL 🏛 ATVA 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Block structure vs scope extrusion: between innocence and omniscience

Andrzej S. Murawski, Nikos Tzevelekos

cs.PL 🏛 Foundations of Software Science and Computation Structure 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems

Salvador Tamarit, Julio Mariño, ... (+2 more)

cs.PL 🏛 PROLE 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

On Hierarchical Communication Topologies in the pi-calculus

Emanuele D'Osualdo, C. -H. Luke Ong

cs.PL 🏛 European Symposium on Programming 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Interactive Answer Set Programming - Preliminary Report

Martin Gebser, Phillip Obermeier, Torsten Schaub

cs.PL 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Towards Patterns for Heaps and Imperative Lambdas

David A. Naumann

cs.PL 🏛 J. Log. Algebraic Methods Program. 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Extending Basic Block Versioning with Typed Object Shapes

Maxime Chevalier-Boisvert, Marc Feeley

cs.PL 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Egison: Non-Linear Pattern-Matching against Non-Free Data Types

Satoshi Egi

cs.PL 🏛 arXiv 📚 3 cites 11 years ago

R.I.P. 👻 Ghosted

A Linear First-Order Functional Intermediate Language for Verified Compilers

Sigurd Schneider, Gert Smolka, Sebastian Hack

cs.PL 🏛 arXiv 📚 3 cites 11 years ago

R.I.P. 👻 Ghosted

Observationally Cooperative Multithreading

Christopher A. Stone, Melissa E. O'Neill, ... (+6 more)

cs.PL 🏛 arXiv 📚 3 cites 11 years ago

R.I.P. 👻 Ghosted

Semantics for Locking Specifications

Michael Ernst, Damiano Macedonio, ... (+2 more)

cs.PL 🏛 FM 📚 3 cites 11 years ago

R.I.P. 👻 Ghosted

Concept-oriented programming: from classes to concepts and from inheritance to inclusion

Alexandr Savinov

cs.PL 🏛 arXiv 📚 3 cites 11 years ago

R.I.P. 👻 Ghosted

Jeopardy: An Invertible Functional Programming Language

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

cs.PL 🏛 ICRC W 📚 3 cites 3 years ago

R.I.P. 👻 Ghosted

A Quantitative Flavour of Robust Reachability

Sébastien Bardin, Guillaume Girol

cs.PL 🏛 arXiv 📚 3 cites 3 years ago

R.I.P. 👻 Ghosted

P4BID: Information Flow Control in P4

Karuna Grewal, Loris D'Antoni, Justin Hsu

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs

Dan Bogdanov, Joosep Jääger, ... (+7 more)

cs.PL 🏛 arXiv 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

CUBES: A Parallel Synthesizer for SQL Using Examples

Ricardo Brancas, Miguel Terra-Neves, ... (+3 more)

cs.PL 🏛 Formal Aspects of Computing 📚 3 cites 4 years ago

R.I.P. 👻 Ghosted

Correctness-Guaranteed Code Generation via Constrained Decoding

Lingxiao Li, Salar Rahili, Yiwei Zhao

cs.PL 🏛 arXiv 📚 2 cites 10 months ago

R.I.P. 👻 Ghosted

Incoherence as Oracle-less Measure of Error in LLM-Based Code Generation

Thomas Valentin, Ardi Madadi, ... (+2 more)

cs.PL 🏛 AAAI 📚 2 cites 12 months ago

R.I.P. 👻 Ghosted

QCP: A Practical Separation Logic-based C Program Verification Tool

Xiwei Wu, Yueyang Feng, ... (+11 more)

cs.PL 🏛 arXiv 📚 2 cites 1 year ago

R.I.P. 👻 Ghosted

Enhanced Data Race Prediction Through Modular Reasoning

Zhendong Ang, Azadeh Farzan, Umang Mathur

cs.PL 🏛 arXiv 📚 2 cites 1 year ago