Program Synthesis for Program Analysis

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

Research funded by EPSRC (EP/H017585/1) | H2020 FET OPEN project (712689 SC2) | ERC (280053 CPROVER)

Authors: Cristina David | Pascal Kesseli | Daniel Kroening | Matt Lewis

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

Lazy and incremental program generation

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

Authors: J. Heering | P. Klint | J. Rekers

Detecting bugs in register allocation

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

Authors: Yuqiang Huang | Bruce R. Childers | Mary Lou Soffa

Execution suppression

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

Research funded by Division of Computing and Communication Foundations (CNS-0751961CNS-0751949CNS-0810906CCF-0753470) | Division of Computer and Network Systems (CNS-0751961CNS-0751949CNS-0810906CCF-0753470)

Authors: Dennis Jeffrey | Vijay Nagarajan | Rajiv Gupta

Two issues in parallel language design

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

Authors: A. P. W. Böhm | R. R. Oldehoeft

Efficient dynamic dispatching with type slicing

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

Authors: Joseph (Yossi) Gil | Yoav Zibin

SPL

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

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

A framework for call graph construction algorithms

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

Authors: David Grove | Craig Chambers

Domain specific language implementation via compile-time meta-programming

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

Authors: Laurence Tratt

Within ARM's reach

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

Authors: Wan Fokkink | Jasper Kamperman | Pum Walters

Scheduling time-critical instructions on RISC machines

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

Authors: Krishna V. Palem | Barbara B. Simons

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

Data types are values

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

Authors: James Donahue | Alan Demers

Assessing Test Data Adequacy through Program Inference

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

Authors: Elaine J. Weyuker

Logic of global synchrony

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

Authors: Yifeng Chen | J. W. Sanders