🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Mechanically Verified Calculational Abstract Interpretation

David Darais, David Van Horn

cs.PL 🏛 arXiv 📚 0 cites 10 years ago

R.I.P. 👻 Ghosted

Mutually Exclusive Modules in Logic Programming

Keehang Kwon

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

The Mysteries of Lisp -- I: The Way to S-expression Lisp

Hong-Yi Dai

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Comparative Analysis of Classic Garbage-Collection Algorithms for a Lisp-like Language

Tyler Hannan, Chester Holtz, Jonathan Liao

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Anonymous On-line Communication Between Program Analyses

Marek Trtik

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Global Value Numbering: A Precise and Efficient Algorithm

Rekha R Pai

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Incremental Computation with Names

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

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Danger Invariants

Cristina David, Daniel Kroening, Matt Lewis

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

The lambda mechanism in lambda calculus and in other calculi

M. H. van Emden

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Enhancing the performance of Decoupled Software Pipeline through Backward Slicing

Esraa Alwan, John Fitch, Julian Padget

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Yet Another Way of Building Exact Polyhedral Model for Weakly Dynamic Affine Programs

Arkady Klimov

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators

Adrián Riesco, Juan Rodríguez-Hortalá

cs.PL 🏛 PROLE 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

Asynchronous Programming in a Prioritized Form

Mohamed A. El-Zawawy

cs.PL 🏛 arXiv 📚 0 cites 11 years ago

R.I.P. 👻 Ghosted

NP4G : Network Programming for Generalization

Shoichiro Hara, Yuji Watanabe

cs.PL 🏛 Intelligent Systems with Applications 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)

David S. Warren, Peter Van Roy, Yanhong A. Liu

cs.PL 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

ToL: A Tensor of List-Based Unified Computation Model

Hongxiao Li, Wanling Gao, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)

Nicolas Berthier, Narges Khakpour

cs.PL 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow

Marco Vassena, Alejandro Russo, ... (+3 more)

cs.PL 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs

Kaiwen Zhang, Guanjun Liu

cs.PL 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Refactoring = Substitution + Rewriting

Simon Thompson, Dániel Horpácsi

cs.PL 🏛 Eelco Visser Commemorative Symposium 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation

Geoffrey W. Hamilton, Temesghen Kahsai, Maurizio Proietti

cs.PL 🏛 EPTCS 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Testing by Dualization

Yishuai Li

cs.PL 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs

Quang Loc Le, Jun Sun, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Primrose: Selecting Container Data Types by Their Properties

Xueying Qin, Liam O'Connor, Michel Steuwer

cs.PL 🏛 Programming 📚 0 cites 4 years ago