🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Synthesizing Set Functions

Sergio Antoy, Michael Hanus, Finn Teegen

cs.PL 🏛 ICFCLP W 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Fungi: Typed incremental computation with names

Matthew A. Hammer, Jana Dunfield, ... (+3 more)

cs.PL 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms

María Alpuente, Angel Cuenca-Ortega, ... (+2 more)

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

A Compiler-Compiler for DSL Embedding

Amir Shaikhha, Vojin Jovanovic, Christoph Koch

cs.PL 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Transient Typechecks are (Almost) Free

Richard Roberts, Stefan Marr, ... (+2 more)

cs.PL 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Confluence of CHR revisited: invariants and modulo equivalence

Henning Christiansen, Maja H. Kirkeby

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

The sufficiently smart compiler is a theorem prover

Joachim Breitner

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Borrowing Safe Pointers from Rust in SPARK

Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

An Approach to Static Performance Guarantees for Programs with Run-time Checks

Maximiliano Klemen, Nataliia Stulova, ... (+3 more)

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Safe Non-blocking Synchronization in Ada 202x

Johann Blieberger, Bernd Burgstaller

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

CalcuList: a Functional Language Extended with Imperative Features

Domenico Sacca', Angelo Furfaro

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Verifying Semantic Conflict-Freedom in Three-Way Program Merges

Marcelo Sousa, Isil Dillig, Shuvendu Lahiri

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Compiling Diderot: From Tensor Calculus to C

Charisee Chiw, Gordon L. Kindlmann, John Reppy

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Almost Sure Productivity

Alejandro Aguirre, Gilles Barthe, ... (+2 more)

cs.PL 🏛 ICALP 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis

Kangjing Huang, Xiaokang Qiu, ... (+2 more)

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

PCOT: Cache Oblivious Tiling of Polyhedral Programs

Waruna Ranasinghe, Nirmal Prajapati, ... (+2 more)

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

TWAM: A Certifying Abstract Machine for Logic Programs

Rose Bohrer, Karl Crary

cs.PL 🏛 Verified Software: Theories, Tools, Experiments 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Synthesizing Imperative Programs from Examples Guided by Static Analysis

Sunbeom So, Hakjoo Oh

cs.PL 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code

Guillermo Vigueras, Manuel Carro, ... (+2 more)

cs.PL 🏛 PROLE 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Code Staging in GNU Guix

Ludovic Courtès

cs.PL 🏛 ICGPCE 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Proceedings of the Third Workshop on Formal Integrated Development Environment

Catherine Dubois, Paolo Masci, Dominique Méry

cs.PL 🏛 EPTCS 240, 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

More declarative tabling in Prolog using multi-prompt delimited control

Samer Abdallah

cs.PL 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

ROSA: R Optimizations with Static Analysis

Rathijit Sen, Jianqiao Zhu, ... (+2 more)

cs.PL 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

A Typeful Integration of SQL into Curry

Michael Hanus, Julia Krone

cs.PL 🏛 WLP / WFLP 📚 2 cites 9 years ago