Science of Computer Programming, Volume 62

Volume 62, Number 1, September 2006

• Christian Lengauer, Walid Taha:
  Preface. 1-2
  
• Jacques Carette:
  Gaussian Elimination: A case study in efficient genericity with MetaOCaml. 3-24
  
• 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
  
• Christoph Armin Herrmann, Tobias Langhammer:
  Combining partial evaluation and staged interpretation in the implementation of domain-specific languages. 47-65
  
• Christopher League:
  MetaOCaml server pages: Web publishing as staged computation. 66-84
  
• Gregory Neverov, Paul Roe:
  Experiences with an object-oriented, multi-stage language. 85-94
  

Volume 62, Number 2, October 2006

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

Volume 62, Number 3, October 2006

• Giuliano Antoniol, Jens Krinke, Paolo Tonella:
  Special issue on Source code analysis and manipulation. 205-208
  
• Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
  Using source transformation to test and model check implicit-invocation systems. 209-227
  
• 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
  

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

Last update Mon May 20 03:05:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page