Using message passing for distributed programming: proof rules and disciplines

JOURNAL ARTICLE published July 1984 in ACM Transactions on Programming Languages and Systems

Authors: Richard D. Schlichting | Fred B. Schneider

JOURNAL ISSUE published 25 September 2014 in ACM Transactions on Programming Languages and Systems

JOURNAL ISSUE published 1 December 2008 in ACM Transactions on Programming Languages and Systems

A reexamination of “Optimization of array subscript range checks”

JOURNAL ARTICLE published March 1995 in ACM Transactions on Programming Languages and Systems

Authors: Wei-Ngan Chin | Eak-Khoon Goh

A practical interprocedural dominance algorithm

JOURNAL ARTICLE published August 2007 in ACM Transactions on Programming Languages and Systems

Authors: Bjorn De Sutter | Ludo Van Put | Koen De Bosschere

Class analyses as abstract interpretations of trace semantics

JOURNAL ARTICLE published September 2003 in ACM Transactions on Programming Languages and Systems

Authors: Fausto Spoto | Thomas Jensen

Cost analysis of logic programs

JOURNAL ARTICLE published November 1993 in ACM Transactions on Programming Languages and Systems

Authors: Saumya K. Debray | Nai-Wei Lin

Verified interoperable implementations of security protocols

JOURNAL ARTICLE published December 2008 in ACM Transactions on Programming Languages and Systems

Authors: Karthikeyan Bhargavan | Cédric Fournet | Andrew D. Gordon | Stephen Tse

Applicability of Software Validation Techniques to Scientific Programs

JOURNAL ARTICLE published July 1980 in ACM Transactions on Programming Languages and Systems

Authors: W. E. Howden

Adaptive functional programming

JOURNAL ARTICLE published November 2006 in ACM Transactions on Programming Languages and Systems

Authors: Umut A. Acar | Guy E. Blelloch | Robert Harper

Parallelism for free

JOURNAL ARTICLE published May 1996 in ACM Transactions on Programming Languages and Systems

Authors: Jens Knoop | Bernhard Steffen | Jürgen Vollmer

Variant parametric types

JOURNAL ARTICLE published September 2006 in ACM Transactions on Programming Languages and Systems

Authors: Atsushi Igarashi | Mirko Viroli

MCALIB

JOURNAL ARTICLE published 16 April 2015 in ACM Transactions on Programming Languages and Systems

Authors: Michael Frechtling | Philip H. W. Leong

Atomicity Refinement for Verified Compilation

JOURNAL ARTICLE published July 2014 in ACM Transactions on Programming Languages and Systems

Research funded by National Science Foundation (1216613 and 1318227)

Authors: Suresh Jagannathan | Vincent Laporte | Gustavo Petri | David Pichardie | Jan Vitek

Formal Verification of an SSA-Based Middle-End for CompCert

JOURNAL ARTICLE published March 2014 in ACM Transactions on Programming Languages and Systems

Research funded by Madrid Regional project (S2009TIC-1465) | Spanish project (TIN2009-14599)

Authors: Gilles Barthe | Delphine Demange | David Pichardie

Editorial

JOURNAL ARTICLE published 20 January 2015 in ACM Transactions on Programming Languages and Systems

Editors: Jens Palsberg

Reactive Imperative Programming with Dataflow Constraints

JOURNAL ARTICLE published 20 January 2015 in ACM Transactions on Programming Languages and Systems

Authors: Camil Demetrescu | Irene Finocchi | Andrea Ribichini

Newtonian Program Analysis via Tensor Product

JOURNAL ARTICLE published 30 June 2017 in ACM Transactions on Programming Languages and Systems

Research funded by ONR (N00014-{09-1-0510, 11-C-0447}) | AFRL (FA9550-09-1-0279) | DARPA CRASH (FA8650-10-C-7088) | DARPA MUSE (FA8750-14-2-0270) | NSF (CCF-0904371) | ARL (W911NF-09-1-0413) | DARPA STAC (FA8750-15-C-0082) | DARPA (HR0011-12-2-0012)

Authors: Thomas Reps | Emma Turetsky | Prathmesh Prabhu

ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States

JOURNAL ARTICLE published 30 June 2019 in ACM Transactions on Programming Languages and Systems

Research funded by EPSRC (EP/M023974/1) | Royal Society Leverhulme Trust Senior Research Fellowship (LT170023)

Authors: Conrad Cotton-Barratt | Andrzej S. Murawski | C.-H. Luke Ong

Practical Subtyping for Curry-Style Languages

JOURNAL ARTICLE published 31 March 2019 in ACM Transactions on Programming Languages and Systems

Authors: Rodolphe Lepigre | Christophe Raffalli