Abstract is missing.
- Integrating Programming, Properties, and ValidationMark P. Jones. 1
- Polytypic Values Possess Polykinded TypesRalf Hinze. 2-27
- The Zip CalculusMark Tullsen. 28-44
- Separation and ReductionErnie Cohen. 45-59
- Reasoning about Non-terminating Loops Using Deadline CommandsIan J. Hayes. 60-79
- Quantum ProgrammingJeff W. Sanders, Paolo Zuliani. 80-99
- Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power SeriesJan J. M. M. Rutten. 100-101
- Proving Pointer Programs in Hoare LogicRichard Bornat. 102-126
- On Guarded Commands with Fair ChoiceEmil Sekerinski. 127-139
- Formal Methods and DependabilityCliff B. Jones. 140-143
- Liberating Data RefinementEerke Boiten, John Derrick. 144-166
- Theorems about CompositionMichel Charpentier, K. Mani Chandy. 167-186
- The Universal Resolving Algorithm: Inverse Computation in a Functional LanguageSergei M. Abramov, Robert Glück. 187-212
- Metacomputation-Based Compiler ArchitectureWilliam L. Harrison, Samuel N. Kamin. 213-229
- A Metalanguage for Programming with Bound Names Modulo RenamingAndrew M. Pitts, Murdoch Gabbay. 230-255