Science of Computer Programming, Volume 37

Volume 37, Number 1-3, May 2000

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