Science of Computer Programming, Volume 62

Volume 62, Number 1, September 2006

• Christian Lengauer, Walid Taha:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Jacques Carette:
  Gaussian Elimination: A case study in efficient genericity with MetaOCaml. 3-24
  Electronic Edition (link) BibTeX
• Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua:
  In search of a program generator to implement generic transformations for high-performance computing. 25-46
  Electronic Edition (link) BibTeX
• Christoph Armin Herrmann, Tobias Langhammer:
  Combining partial evaluation and staged interpretation in the implementation of domain-specific languages. 47-65
  Electronic Edition (link) BibTeX
• Christopher League:
  MetaOCaml server pages: Web publishing as staged computation. 66-84
  Electronic Edition (link) BibTeX
• Gregory Neverov, Paul Roe:
  Experiences with an object-oriented, multi-stage language. 85-94
  Electronic Edition (link) BibTeX

Volume 62, Number 2, October 2006

• Richard E. Jones:
  Five perspectives on modern memory management: Systems, hardware and theory. 95-97
  Electronic Edition (link) BibTeX
• Konstantinos F. Sagonas, Jesper Wilhelmsson:
  Efficient memory management for concurrent programs that use message passing. 98-121
  Electronic Edition (link) BibTeX
• Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim:
  Safe manual memory management in Cyclone. 122-144
  Electronic Edition (link) BibTeX
• Greg Wright, Matthew L. Seidl, Mario Wolczko:
  An object-aware memory architecture. 145-163
  Electronic Edition (link) BibTeX
• Tony Printezis:
  On measuring garbage collection responsiveness. 164-183
  Electronic Edition (link) BibTeX
• William D. Clinger, Fabio V. Rojas:
  Linear combinations of radioactive decay models for generational garbage collection. 184-203
  Electronic Edition (link) BibTeX

Volume 62, Number 3, October 2006

• Giuliano Antoniol, Jens Krinke, Paolo Tonella:
  Special issue on Source code analysis and manipulation. 205-208
  Electronic Edition (link) BibTeX
• Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
  Using source transformation to test and model check implicit-invocation systems. 209-227
  Electronic Edition (link) BibTeX
• David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel:
  A formalisation of the relationship between forms of program slicing. 228-252
  Electronic Edition (link) BibTeX

• Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens:
  Modular invariants for layered object structures. 253-286
  Electronic Edition (link) BibTeX
• Niels P. Veerman:
  Automated mass maintenance of a software portfolio. 287-317
  Electronic Edition (link) BibTeX