Science of Computer Programming, Volume 52

Volume 52, Number 1-3, August 2004

• Ralf Lämmel:
  Transformations everywhere. 1-8
  
• Günter Kniesel, Helge Koch:
  Static composition of refactorings. 9-51
  
• Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio:
  Algebraic reasoning for object-oriented programming. 53-100
  
• Martin Erwig, Deling Ren:
  Monadification of functional programs. 101-129
  
• Uwe Zdun:
  Supporting incremental and experimental software evolution by runtime method transformations. 131-163
  
• Victor L. Winter, Mahadevan Subramaniam:
  The transient combinator, higher-order strategies, and the distributed data problem. 165-212
  
• Martin P. Ward:
  Pigs from sausages? Reengineering from assembler to C via FermaT transformations. 213-255
  
• Robert van Engelen, David B. Whalley, Xin Yuan:
  Automatic validation of code-improving transformations on low-level program representations. 257-280
  
• Neal Glew, Jens Palsberg:
  Type-safe method inlining. 281-306
  
• Neil D. Jones:
  Transformation by interpreter specialisation. 307-339
  
• Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur:
  A tour of Tempo: a program specializer for the C language. 341-370