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