🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Semantic Query Integration With Reason

Philipp Seifer, Martin Leinberger, ... (+2 more)

cs.PL 🏛 Programming 📚 6 cites 7 years ago

R.I.P. 👻 Ghosted

Logic Programming Applications: What Are the Abstractions and Implementations?

Yanhong A. Liu

cs.PL 🏛 Declarative Logic Programming 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

Domain Analysis & Description - The Implicit and Explicit Semantics Problem

Dines Bjørner

cs.PL 🏛 IMPEX/FM&MDD 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems

Zheng Yang, Hang Lei

cs.PL 🏛 IEEE Access 📚 6 cites 7 years ago

R.I.P. 👻 Ghosted

Multivariant Assertion-based Guidance in Abstract Interpretation

Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo

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

R.I.P. 👻 Ghosted

Multiparty Classical Choreographies

Marco Carbone, Luis Cruz-Filipe, ... (+2 more)

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

R.I.P. 👻 Ghosted

Analysis of Logarithmic Amortised Complexity

Martin Hofmann, Georg Moser

cs.PL 🏛 arXiv 📚 6 cites 7 years ago

R.I.P. 👻 Ghosted

Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders

Ernesto Copello, Nora Szasz, Álvaro Tasistro

cs.PL 🏛 LFMTP@FSCD 📚 6 cites 7 years ago

R.I.P. 👻 Ghosted

Spine-local Type Inference

Christopher Jenkins, Aaron Stump

cs.PL 🏛 ICIAFL 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

Structural Operational Semantics for Control Flow Graph Machines

Dmitri Garbuzov, William Mansky, ... (+2 more)

cs.PL 🏛 arXiv 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability

Zheng Yang, Hang Lei

cs.PL 🏛 arXiv 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

Choreographies for Reactive Programming

Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira

cs.PL 🏛 arXiv 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

Improved Ahead-of-Time Compilation of Stack-Based JVM Bytecode on Resource-Constrained Devices

Niels Reijers, Chi-Sheng Shih

cs.PL 🏛 ACM Trans. Sens. Networks 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

Implementing implicit OpenMP data sharing on GPUs

Gheorghe-Teodor Bercea, Carlo Bertolli, ... (+7 more)

cs.PL 🏛 LLVM-HPC@SC 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

From Reversible Programs to Univalent Universes and Back

Jacques Carette, Chao-Hong Chen, ... (+2 more)

cs.PL 🏛 Mathematical Foundations of Programming Semantics 📚 6 cites 8 years ago

R.I.P. 👻 Ghosted

Proof Mining with Dependent Types

Ekaterina Komendantskaya, Jonathan Heras

cs.PL 🏛 ICICM 📚 6 cites 9 years ago

R.I.P. 👻 Ghosted

User-Defined Operators Including Name Binding for New Language Constructs

Kazuhiro Ichikawa, Shigeru Chiba

cs.PL 🏛 Programming 📚 6 cites 9 years ago

R.I.P. 👻 Ghosted

Constraint Logic Programming over Infinite Domains with an Application to Proof

Sebastian Krings, Michael Leuschel

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

R.I.P. 👻 Ghosted

Evolving the Incremental λ Calculus into a Model of Forward Automatic Differentiation (AD)

Robert Kelly, Barak A. Pearlmutter, Jeffrey Mark Siskind

cs.PL 🏛 arXiv 📚 6 cites 9 years ago

R.I.P. 👻 Ghosted

Application of Case-Based Teaching and Learning in Compiler Design Course

Divya Kundra, Ashish Sureka

cs.PL 🏛 arXiv 📚 6 cites 9 years ago

R.I.P. 👻 Ghosted

Taming Weak Memory Models

Sizhuo Zhang, Arvind, Muralidaran Vijayaraghavan

cs.PL 🏛 arXiv 📚 6 cites 10 years ago

R.I.P. 👻 Ghosted

The Essence of Inheritance

Andrew P. Black, Kim B. Bruce, James Noble

cs.PL 🏛 A List of Successes That Can Change the World 📚 6 cites 10 years ago

R.I.P. 👻 Ghosted

Lowering the learning curve for declarative programming: a Python API for the IDP system

Joost Vennekens

cs.PL 🏛 ICPADL 📚 6 cites 10 years ago

R.I.P. 👻 Ghosted

Local Linearizability

Andreas Haas, Thomas A. Henzinger, ... (+7 more)

cs.PL 🏛 arXiv 📚 6 cites 11 years ago