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
- 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
- Kenneth L. McMillan: A methodology for hardware verification using compositional model checking. 279-309
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team