Lectures on the Logic of Computer Programming 9780898711646, 0898711649

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical

406 71 312KB

English Pages 53 Year 1987

Lectures on the Logic of Computer Programming
9780898711646, 0898711649

Author / Uploaded
Zohar Manna

Categories
Computers

Table of contents :
Lectures on the Logic of Computer Programming......Page 1
ISBN: 0-89871-164-9......Page 4
Contents......Page 6
Introduction......Page 8
1 Partial Correctness......Page 10
2 Termination......Page 16
3 Total Correctness......Page 22
4 Systematic Program Annotation......Page 26
5 Synthesis of Programs......Page 32
6 Termination of Production Systems......Page 46
References......Page 56

Polecaj historie

Lectures on Logic 0521546915, 9780521546911

Kant's views on logic and logical theory play an important part in his critical writings, especially in the Critiqu

451 95 78MB Read more

Lectures on logic 9780253351678, 0253351677

587 57 5MB Read more

Phenomenology and Logic: The Boston College Lectures on Mathematical Logic and Existentialism 9781442678392

This series of lectures delivered by Lonergan at Boston College in 1957 deal with the general character of mathematical

189 89 20MB Read more

Logic programming : proceedings of the eleventh International Conference on Logic Programming [No Earlier Edition Stated] 0262720221, 9780262720229, 9780262257145, 0262257149

Conference proceedings presenting the state-of-the-art in Logic Programming.

533 57 10MB Read more

Lectures on Inductive Logic [1 ed.] 0199666474, 9780199666478

Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic se

470 106 1MB Read more

Logic of the Future: Writings on Existential Graphs. Part 2: The 1903 Lowell Lectures 3110740354, 9783110740356

Peirceana provides a forum for the best current work on Peirce worldwide. Besides monographs, the series will publish th

230 52 8MB Read more

Précis of the Lectures on Architecture: With Graphic Portion of the Lectures on Architecture 9780892365807, 0892365803

Jean-Nicolas-Louis Durand (1760–1834) regarded the Précis of the Lectures on Architecture (1802–5) and its companion vol

174 81 36MB Read more

Logic Programming: The 1996 International Symposium: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming 0-262-63173-3, 9780262631730, 124-297-328-1

September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic program

555 50 6MB Read more

Logic And Computer Design Fundamentals

1,732 239 693KB Read more

Lectures on some aspects of the bootstrap

205 61 717KB Read more