🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations

Matthew Francis-Landau, Tim Vieira, Jason Eisner

cs.PL 🏛 arXiv 📚 4 cites 5 years ago

R.I.P. 👻 Ghosted

Really Embedding Domain-Specific Languages into C++

Hal Finkel, Alexander McCaskey, ... (+3 more)

cs.PL 🏛 ICLCIH W 📚 4 cites 5 years ago

🌅 🌅 Old Age

Memory-Efficient Fixpoint Computation

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

cs.PL 🏛 Formal methods in system design 📚 4 cites 5 years ago

R.I.P. 👻 Ghosted

Memoized Pull-Tabbing for Functional Logic Programming

Michael Hanus, Finn Teegen

cs.PL 🏛 ICFCLP W 📚 4 cites 5 years ago

R.I.P. 👻 Ghosted

Understanding Lua's Garbage Collection -- Towards a Formalized Static Analyzer

Mallku Soldevila, Beta Ziliani, Daniel Fridlender

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Pika parsing: reformulating packrat parsing as a dynamic programming algorithm solves the left recursion and error recovery problems

Luke A. D. Hutchison

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Algebra-based Loop Synthesis

Andreas Humenberger, Laura Kovács

cs.PL 🏛 FM 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Decidability and Synthesis of Abstract Inductive Invariants

Francesco Ranzato

cs.PL 🏛 CONCUR 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

egg: Fast and Extensible Equality Saturation

Max Willsey, Chandrakana Nandi, ... (+4 more)

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Code Obfuscation for the C/C++ Language

Dominik Picheta

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

A Domain Semantics for Higher-Order Recursive Processes

Ryan Kavanagh

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Parameterized Cast Calculi and Reusable Meta-theory for Gradually Typed Lambda Calculi

Jeremy G. Siek

cs.PL 🏛 Journal of functional programming 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Gillian: Compositional Symbolic Execution for All

José Fragoso Santos, Petar Maksimović, ... (+2 more)

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Design and Use of Loop-Transformation Pragmas

Michael Kruse, Hal Finkel

cs.PL 🏛 ICO W 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

On the Interaction of Object-Oriented Design Patterns and Programming Languages

Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo

cs.PL 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Direct Interpretation of Functional Programs for Debugging

John Whitington, Tom Ridge

cs.PL 🏛 ML/OCaml 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Proving tree algorithms for succinct data structures

Reynald Affeldt, Jacques Garrigue, ... (+2 more)

cs.PL 🏛 ICITP 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Is Sized Typing for Coq Practical?

Jonathan Chan, Yufeng Li, William J. Bowman

cs.PL 🏛 Journal of functional programming 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Precise Dataflow Analysis of Event-Driven Applications

Ming-Ho Yee, Ayaz Badouraly, ... (+3 more)

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Selective Lambda Lifting

Sebastian Graf, Simon Peyton Jones

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

A Polymorphic RPC Calculus

Kwanghoon Choi, James Cheney, ... (+2 more)

cs.PL 🏛 Science of Computer Programming 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

A Note On Compliance Relations And Fixed Points

Maurizio Murgia

cs.PL 🏛 ICICE 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Floorplan: Spatial Layout in Memory Management Systems

Karl Cronburg, Samuel Z. Guyer

cs.PL 🏛 ICGPCE 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Automated Verification of CountDownLatch

Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin

cs.PL 🏛 arXiv 📚 4 cites 6 years ago