ACM Letters on Programming Languages and Systems
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

17
(FIVE YEARS 0)

Published By Association For Computing Machinery

1057-4514
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

References to remote mobile objects in Thor

1993 ◽  
Vol 2 (1-4) ◽  
pp. 115-126 ◽  
Author(s):  
Mark Day ◽  
Barbara Liskov ◽  
Umesh Maheshwari ◽  
Andrew C. Myers
Keyword(s):  
Mobile Objects

Interprocedural constant propagation

1993 ◽  
Vol 2 (1-4) ◽  
pp. 213-232 ◽  
Author(s):  
Robert Metzger ◽  
Sean Stroud
Keyword(s):  
Constant Propagation

Precise and efficient groundness analysis for logic programs

1993 ◽  
Vol 2 (1-4) ◽  
pp. 181-196 ◽  
Author(s):  
Kim Marriott ◽  
Harald Søndergaard
Keyword(s):  
Logic Programs

The detection of dangling references in C++ programs

1993 ◽  
Vol 2 (1-4) ◽  
pp. 127-134 ◽  
Author(s):  
Richard A. Eyre-Todd
Keyword(s):  
C Programs

On the conversion of indirect to direct recursion

1993 ◽  
Vol 2 (1-4) ◽  
pp. 151-164 ◽  
Author(s):  
Owen Kaser ◽  
C. R. Ramakrishnan ◽  
Shaunak Pawagi

An efficient representation for sparse sets

1993 ◽  
Vol 2 (1-4) ◽  
pp. 59-69 ◽  
Author(s):  
Preston Briggs ◽  
Linda Torczon
Keyword(s):  
Efficient Representation

scholarly journals Optimizing array bound checks using flow analysis

1993 ◽  
Vol 2 (1-4) ◽  
pp. 135-150 ◽  
Author(s):  
Rajiv Gupta
Keyword(s):  
Flow Analysis

What's in a region?

1993 ◽  
Vol 2 (1-4) ◽  
pp. 1-16 ◽  
Author(s):  
Thomas Ball

Semantics of constraint logic programs with optimization

1993 ◽  
Vol 2 (1-4) ◽  
pp. 197-212 ◽  
Author(s):  
Kim Marriott ◽  
Peter J. Stuckey
Keyword(s):  
Logic Programs ◽  
Constraint Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document