Science of Computer Programming, Volume 48

Volume 48, Number 1, July 2003

• Vineeth Kumar Paleri, Y. N. Srikant, Priti Shankar:
  Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. 1-20
  Electronic Edition (link) BibTeX
• Stephen A. Edwards, Edward A. Lee:
  The semantics and execution of a synchronous block-diagram language. 21-42
  Electronic Edition (link) BibTeX
• Jiannong Cao, Alvin T. S. Chan, Yudong Sun, Kang Zhang:
  Dynamic configuration management in a graph-oriented Distributed Programming Environment. 43-65
  Electronic Edition (link) BibTeX
• Rudolf Berghammer, Florian Reuter:
  A linear approximation algorithm for bin packing with absolute approximation factor 3/2. 67-80
  Electronic Edition (link) BibTeX

Volume 48, Number 2-3, August-September 2003

• Bruce W. Watson:
  A new algorithm for the construction of minimal acyclic DFAs. 81-97
  Electronic Edition (link) BibTeX
• Bruce W. Watson, Richard E. Watson:
  A Boyer-Moore-style algorithm for regular expression pattern matching. 99-117
  Electronic Edition (link) BibTeX
• K. S. How Tai Wah:
  An analysis of the coupling effect I: single test data. 119-161
  Electronic Edition (link) BibTeX
• Dino Pedreschi, Salvatore Ruggieri:
  On logic programs that always succeed. 163-196
  Electronic Edition (link) BibTeX