Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany - researchr publication

researchr

You are not signed in
Sign in
Sign up

Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. 1996.

Conference: nato1996

Abstract is missing.

On traditions in MarktoberdorfFred B. Schneider. 1-4

Fibonacci and the greatest common divisorEdsger W. Dijkstra. 7-10

The balance and the coinsEdsger W. Dijkstra. 11-13

Bulterman s theorem on shortest treesEdsger W. Dijkstra. 15-16

A prime is in at most 1 way the sum of 2 squaresEdsger W. Dijkstra. 17-20

A bagatelle on Euclid s algorithmEdsger W. Dijkstra. 21-23

On two equations that have the same extreme solutionEdsger W. Dijkstra. 25-26

An alternative of the ETAC to EWD1163Edsger W. Dijkstra. 27-28

The argument about the arithmetic mean and the geometric mean, heuristics includedEdsger W. Dijkstra. 29-32

Interaction categories and the foundations of typed concurrent programmingSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan. 35-113

Mathematical models for computing scienceC. A. R. Hoare. 115-164

The algebra of programmingRichard S. Bird, Oege de Moor. 167-203

Data refinement and the transformDavid Gries. 205-232

On TLA as a logicMartín Abadi, Stephan Merz. 235-271

Specification and refinement of a buffer of length oneManfred Broy. 273-304

Model checkingEdmund M. Clarke, Orna Grumberg, David E. Long. 305-349

Notes on proof outline logicFred B. Schneider. 351-394

Proof and designMichael P. Fourman. 397-439

A program transformation approach to asynchronous VLSI designAlain J. Martin. 441-467

runs on WebDSL