Science of Computer Programming

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

External Links