Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
ACM Letters on Programming Languages and Systems
ACM Press
 
   
 
Options:
 
  1-10 of 27 reviews Date Reviewed 
  Unified compilation of Fortran 77D and 90D
Choudhary A., Fox G., Hiranandani S., Kennedy K., Koelbel C., Ranka S., Tseng C. ACM Letters on Programming Languages and Systems 2(1-4): 95-114, 1993.  Type: Article

FORTRAN D is an extension of FORTRAN for the specification of parallel algorithms. It is applicable to either FORTRAN 77 or FORTRAN 90. This paper gives a high-level overview of a compilation process that can be used to translate progr...

Aug 1 1995
  Implementing multiple locks using Lamport’s mutual exclusion algorithm
Boehm H., Demers A., Uhler C. ACM Letters on Programming Languages and Systems 2(1-4): 46-58, 1993.  Type: Article

The implementation of spin locks using Lamport’s fast algorithm for mutual exclusion [1] is described. A straightforward implementation of Lamport’s algorithm would replicate all of its variables, including the Bool...

May 1 1995
  Precise executable interprocedural slices
Binkley D. ACM Letters on Programming Languages and Systems 2(1-4): 31-45, 1993.  Type: Article

A program slice describes all the statements of the program affecting a given variable x at a given point p. Interprocedural slicing, in which a slice crosses the boundaries of the procedure calls,...

May 1 1995
  RE2C: a more versatile scanner generator
Bumbulis P., Cowan D. ACM Letters on Programming Languages and Systems 2(1-4): 70-84, 1993.  Type: Article

RE2C is a tool for generating scanners from regular expressions. The authors argue that the reason developers tend to hand-code scanners is inadequate performance by machine-generated scanners. RE2C is a good solution to this problem b...

May 1 1995
  On the conversion of indirect to direct recursion
Kaser O., Ramakrishnan C., Pawagi S. ACM Letters on Programming Languages and Systems 2(1-4): 151-164, 1993.  Type: Article

Inline expansion replaces a call to a procedure with the procedure’s body. Inline expansion, among other benefits, eliminates procedure call overhead and improves addressing locality. Recursion presents a problem, since a rec...

May 1 1995
  Interprocedural constant propagation
Metzger R., Stroud S. ACM Letters on Programming Languages and Systems 2(1-4): 213-232, 1993.  Type: Article

The authors provide an overview of the tasks performed by an interprocedural optimizer package built for the use of imperative language programmers on a specific series of supercomputers. The optimizer package comprises ten different a...

Apr 1 1995
  Semantics of constraint logic programs with optimization
Marriott K. (ed), Stuckey P. (ed) ACM Letters on Programming Languages and Systems 2(1-4): 197-212, 1993.  Type: Article

This research paper deals with constraint logic programming, specifically with the CLP(R) language [1]. Starting with the remark that many applications of such a language require not only testing whether a set of constraints is satisfi...

Apr 1 1995
  The detection of dangling references in C++ programs
Eyre-Todd R. ACM Letters on Programming Languages and Systems 2(1-4): 127-134, 1993.  Type: Article

A technique for implementing so-called smart pointers, which detect dangling references, in C++ is described. Smart pointers are objects of special classes with overloaded operators for dereferencing and structure access; they mimic re...

Mar 1 1995
  What’s in a region?
Ball T. ACM Letters on Programming Languages and Systems 2(1-4): 1-16, 1993.  Type: Article

The author presents new definitions for weak and strong regions in a control-flow graph and presents nearly-linear-time algorithms for computing these regions. Computing strong regions is important in code scheduling, permitting moveme...

Feb 1 1995
  An efficient representation for sparse sets
Briggs P., Torczon L. ACM Letters on Programming Languages and Systems 2(1-4): 59-69, 1993.  Type: Article

A time-efficient mechanism for representing sparse sets on a predetermined universe is presented. If the universe contains u elements, and the elements are represented by the integers from 0 to u - 1
Dec 1 1994
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy