🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Proceedings 12th Interaction and Concurrency Experience

Massimo Bartoletti, Ludovic Henrio, ... (+2 more)

cs.PL 🏛 EPTCS 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Pre-proceedings of the DECLARE 2019 Conference

Salvador Abreu, Petra Hofstedt, ... (+3 more)

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

CISE3: Verificação de aplicações com consistência fraca em Why3

Filipe Meirim, Mário Pereira, Carla Ferreira

cs.PL 🏛 the national informatics conference INForum 2019 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Formal Methods and Event Notification Systems in Mobile Computing Environment

Prashant Kumar, R. K. Ghosh

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

TxForest: A DSL for Concurrent Filestores

Jonathan DiLorenzo, Katie Mancini, ... (+2 more)

cs.PL 🏛 Asian Symposium on Programming Languages and Systems 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Modular Runtime Complexity Analysis of Probabilistic While Programs

Martin Avanzini, Michael Schaper, Georg Moser

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Proceedings Seventh International Workshop on Verification and Program Transformation

Alexei Lisitsa, Andrei Nemytykh

cs.PL 🏛 EPTCS 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

The meaning of a program change is a change to the program's meaning

Roly Perera

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Proposition d'un modèle pour l'optimisation automatique de boucles dans le compilateur Tiramisu : cas d'optimisation de déroulage

Asma Balamane, Zina Taklit

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Language Support for Adaptation: Intent-Driven Programming in FAST

Yao-Hsiang Yang, Adam Duracz, ... (+8 more)

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Verified Self-Explaining Computation

Jan Stolarek, James Cheney

cs.PL 🏛 ICMPC 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Compositional Inference Metaprogramming with Convergence Guarantees

Shivam Handa, Vikash Mansinghka, Martin Rinard

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

HTCC: Haskell to Handel-C Compiler

Ahmed Ablak, Issam Damaj

cs.PL 🏛 Euromicro Symposium on Digital Systems Design 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

GTIRB: Intermediate Representation for Binaries

Eric Schulte, Jonathan Dorn, ... (+3 more)

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Type Checking Program Code using SHACL (Extended Version)

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

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Bidirectional Type Class Instances (Extended Version)

Koen Pauwels, Georgios Karachalias, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 7 years ago

R.I.P. 👻 Ghosted

Invariant Detection with Program Verification Tools

Wei He

cs.PL 🏛 arXiv 📚 0 cites 7 years ago

R.I.P. 👻 Ghosted

Investigating Compilation Errors of Students Learning Haskell

Boldizsár Németh, Eunjong Choi, ... (+2 more)

cs.PL 🏛 TFPIE@TFP 📚 0 cites 7 years ago

R.I.P. 👻 Ghosted

Introducing Certified Compilation in Education by a Functional Language Approach

Per Lindgren, Marcus Lindner, Nils Fitinghoff

cs.PL 🏛 TFPIE@TFP 📚 0 cites 7 years ago

R.I.P. 👻 Ghosted

Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning

Gregor Nitsche

cs.PL 🏛 arXiv 📚 0 cites 7 years ago

R.I.P. 👻 Ghosted

Automatic verification of heap-manipulating programs

Yurii Kostyukov, Konstantin Batoev, ... (+3 more)

cs.PL 🏛 Proceedings of the Institute for System Programming of RAS 📚 0 cites 7 years ago

R.I.P. 👻 Ghosted

Using Category Theory in Modeling Generics in OOP (Outline)

Moez A. AbdelGawad

cs.PL 🏛 arXiv 📚 0 cites 7 years ago

R.I.P. 👻 Ghosted

Proceedings Seventh International Workshop on Trends in Functional Programming in Education

Peter Achten, Heather Miller

cs.PL 🏛 EPTCS 📚 0 cites 7 years ago

R.I.P. 👻 Ghosted

A scheme for dynamically integrating C library functions into a $λ$Prolog implementation

Duanyang Jing

cs.PL 🏛 arXiv 📚 0 cites 7 years ago