🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity

Aleksandar Prokopec, Andrea Rosà, ... (+10 more)

cs.PL 🏛 arXiv 📚 9 cites 7 years ago

R.I.P. 👻 Ghosted

A Resourceful Reframing of Behavior Trees

Chris Martens, Eric Butler, Joseph C. Osborn

cs.PL 🏛 arXiv 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Towards formal models and languages for verifiable Multi-Robot Systems

Rocco De Nicola, Luca Di Stefano, Omar Inverso

cs.PL 🏛 Frontiers in Robotics and AI 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access

Matthias Springer, Hidehiko Masuhara

cs.PL 🏛 ECOOP 📚 9 cites 7 years ago

R.I.P. 👻 Ghosted

Rust Distilled: An Expressive Tower of Languages

Aaron Weiss, Daniel Patterson, Amal Ahmed

cs.PL 🏛 arXiv 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Generic Deriving of Generic Traversals

Csongor Kiss, Matthew Pickering, Nicolas Wu

cs.PL 🏛 PACMPL 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Combining Tools for Optimization and Analysis of Floating-Point Computations

Heiko Becker, Pavel Pancheckha, ... (+2 more)

cs.PL 🏛 FM 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Constraint-Based Synthesis of Coupling Proofs

Aws Albarghouthi, Justin Hsu

cs.PL 🏛 CAV 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Resource Polymorphism

Guillaume Munch-Maccagnoni

cs.PL 🏛 arXiv 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Topic modeling of public repositories at scale using names in source code

Vadim Markovtsev, Eiso Kant

cs.PL 🏛 arXiv 📚 9 cites 9 years ago

R.I.P. 👻 Ghosted

PWCT: Visual Language for IoT and Cloud Computing Applications and Systems

Mahmoud S. Fayed, Muhammad Al-Qurishi, ... (+2 more)

cs.PL 🏛 SoCC 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Introspection for C and its Applications to Library Robustness

Manuel Rigger, Rene Mayrhofer, ... (+3 more)

cs.PL 🏛 Programming 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Extending Coinductive Logic Programming with Co-Facts

Davide Ancona, Francesco Dagnino, Elena Zucca

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

R.I.P. 👻 Ghosted

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

Olivier Bodini, Paul Tarau

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

R.I.P. 👻 Ghosted

Trace-Based Run-time Analysis of Message-Passing Go Programs

Martin Sulzmann, Kai Stadtmüller

cs.PL 🏛 Haifa Verification Conference 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Reversing Imperative Parallel Programs

James Hoey, Irek Ulidowski, Shoji Yuen

cs.PL 🏛 Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics 📚 9 cites 8 years ago

R.I.P. 👻 Ghosted

Abstract Interpretation with Unfoldings

Marcelo Sousa, César Rodríguez, ... (+2 more)

cs.PL 🏛 CAV 📚 9 cites 9 years ago

R.I.P. 👻 Ghosted

Symbolic Computation and Automated Reasoning for Program Analysis

Laura Kovacs

cs.PL 🏛 FM 📚 9 cites 9 years ago

R.I.P. 👻 Ghosted

A Structural and Nominal Syntax for Diagrams

Dan R Ghica, Aliaume Lopez

cs.PL 🏛 QPL 📚 9 cites 9 years ago

R.I.P. 👻 Ghosted

Multiparty Compatibility for Concurrent Objects

Roly Perera, Julien Lange, Simon J. Gay

cs.PL 🏛 Places 📚 9 cites 9 years ago

R.I.P. 👻 Ghosted

Sparsity Preserving Algorithms for Octagons

Jacques-Henri Jourdan

cs.PL 🏛 NSAD@SAS 📚 9 cites 9 years ago

R.I.P. 👻 Ghosted

Multiactive objects and their applications

Ludovic Henrio, Justine Rochas

cs.PL 🏛 Log. Methods Comput. Sci. 📚 9 cites 9 years ago

R.I.P. 👻 Ghosted

Prioritized Garbage Collection: Explicit GC Support for Software Caches

Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger

cs.PL 🏛 ICOPSLA 📚 9 cites 9 years ago

R.I.P. 👻 Ghosted

Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP

Moez A. AbdelGawad

cs.PL 🏛 arXiv 📚 9 cites 9 years ago