Message analysis for concurrent programs using message passing

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

Authors: Richard Carlsson | Konstantinos Sagonas | Jesper Wilhelmsson

Independence in CLP languages

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

Authors: María García de la Banda | Manuel Hermenegildo | Kim Marriott

Symbolic model checking for event-driven real-time systems

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

Authors: Jin Yang | Aloysius K. Mok | Farn Wang

Incremental dynamic semantics for language-based programming environments

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

Authors: G. E. Kaiser

Proving systolic systems correct

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

Authors: Matthew Hennessy

A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS

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

Authors: Robert L. Constable | James E. Donahue

Uniform Random Generation of Balanced Parenthesis Strings

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

Authors: D. B. Arnold | M. R. Sleep

Technical Correspondence: On LaLonde and des Rivieres' ``Handling Operator Precedence in Arithmetic Expressions with Tree Transformations''

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

Authors: Peter B. Henderson

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

Comparison of Compacting Algorithms for Garbage Collection

JOURNAL ARTICLE published October 1983 in ACM Transactions on Programming Languages and Systems

Authors: Jacques Cohen | Alexandru Nicolau

Mostly static program partitioning of binary executables

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

Authors: Efe Yardimci | Michael Franz

Distributed algorithms for finding centers and medians in networks

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

Authors: E Korach | D Rotem | N Santoro

Finite Differencing of Computable Expressions

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

Authors: Robert Paige | Shaye Koenig

A Cost Model for the Internal Organization of B ⁺ -Tree Nodes

JOURNAL ARTICLE published October 1981 in ACM Transactions on Programming Languages and Systems

Authors: Wilfred J. Hansen

SPL

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

Authors: Martin Hirzel | Scott Schneider | Buğra Gedik

Trace-based network proof systems

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

Authors: Jennifer Widom | David Gries | Fred B. Schneider

An object-based programming model for shared data

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

Authors: Gail E. Kaiser | Brent Hailpern

A provenly correct translation of Fickle into Java

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

Authors: D. Ancona | C. Anderson | F. Damiani | S. Drossopoulou | P. Giannini | E. Zucca

Allocating architected registers through differential encoding

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

Authors: Xiaotong Zhuang | Santosh Pande

Dealing with incomplete knowledge on CLP( FD ) variable domains

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

Authors: Marco Gavanelli | Evelina Lamma | Paola Mello | Michela Milano