🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Partial Cartesian Graph Product

Moez A. AbdelGawad

cs.PL 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers

Jeremy Singer, Blair Archibald

cs.PL 🏛 TFPIE@TFP 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Symbolic Reasoning for Automatic Signal Placement (Extended Version)

Kostas Ferles, Jacob Van Geffen, ... (+2 more)

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

R.I.P. 👻 Ghosted

Generic Description of Well-Scoped, Well-Typed Syntaxes

Gergő Érdi

cs.PL 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

A Type-Based Complexity Analysis of Object Oriented Programs

Emmanuel Hainry, Romain Péchoux

cs.PL 🏛 Information and Computation 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision

Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty

cs.PL 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement

Yulei Sui, Jingling Xue

cs.PL 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

A Devil's Advocate against Termination of Direct Recursion

Thom Fruehwirth

cs.PL 🏛 ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Fast Access to Columnar, Hierarchically Nested Data via Code Transformation

Jim Pivarski, Peter Elmer, ... (+2 more)

cs.PL 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Trace and Stable Failures Semantics for CSP-Agda

Bashar Igried, Anton Setzer

cs.PL 🏛 CoALP-Ty 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Coqatoo: Generating Natural Language Versions of Coq Proofs

Andrew Bedford

cs.PL 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Capturing the Future by Replaying the Past

James Koppel, Gabriel Scherer, Armando Solar-Lezama

cs.PL 🏛 PACMPL 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Cinnamons: A Computation Model Underlying Control Network Programming

Kostadin Kratchanov

cs.PL 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

MatchPy: A Pattern Matching Library

Manuel Krebber, Henrik Barthels, Paolo Bientinesi

cs.PL 🏛 SciPy 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams

Artjoms Sinkarovs, Sven-Bodo Scholz

cs.PL 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

Raúl Gutiérrez, José Meseguer

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

R.I.P. 👻 Ghosted

Deadlock detection of Java Bytecode

Abel Garcia, Cosimo Laneve

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

R.I.P. 👻 Ghosted

Safety Verification of Phaser Programs

Zeinab Ganjei, Ahmed Rezine, ... (+2 more)

cs.PL 🏛 FM 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs

Panos Rondogiannis, Ioanna Symeonidou

cs.PL 🏛 TPLP 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Lock-step simulation is child's play

Joachim Breitner, Chris Smith

cs.PL 🏛 PACMPL 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

A Formal Semantics for Data Analytics Pipelines

Maurizio Drocco, Claudia Misale, ... (+2 more)

cs.PL 🏛 arXiv 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

The x86isa Books: Features, Usage, and Future Plans

Shilpi Goel

cs.PL 🏛 ICATPIA W 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems

Bernard van Gastel, Marko van Eekelen

cs.PL 🏛 DICE-FOPARA@ETAPS 📚 4 cites 9 years ago

R.I.P. 👻 Ghosted

Multiparty Session Types, Beyond Duality (Abstract)

Alceste Scalas, Nobuko Yoshida

cs.PL 🏛 PLACES@ETAPS 📚 4 cites 9 years ago