Science of Computer Programming, Volume 37

Volume 37, Number 1-3, May 2000

• Rutger M. Dijkstra:
  Computation calculus bridging a formalization gap. 3-36
  
• Jeremy Gibbons:
  Generic downwards accumulations. 37-65
  
• John Hughes:
  Generalising monads to arrows. 67-111
  
• Rajeev Joshi, K. Rustan M. Leino:
  A semantic approach to secure information flow. 113-138
  
• Burghard von Karger:
  A calculational approach to reactive systems. 139-161
  
• Morten Heine Sørensen:
  Convergence of program transformers in the metric space of trees. 163-205
  
• C. Barry Jay:
  Costing parallel programs as a function of shapes. 207-224
  
• Thomas Nitsche:
  Shapeliness analysis of functional programs with algebraic data types. 225-252
  
• Frédéric Loulergue, Gaétan Hains, Christian Foisy:
  A calculus of functional BSP programs. 253-277
  
• Kenneth L. McMillan:
  A methodology for hardware verification using compositional model checking. 279-309
  

Last update Mon Feb 13 04:56:06 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page