Tools and Notions for Program Construction: An Advanced Course

Front Cover
D. Néel
CUP Archive, 1982 - Computers - 399 pages
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Jackson A System Development Method
1
Sufrin Formal System Specifications Notation and Examples
27
Cousot Induction Principles for Proving Invariance Properties
75
Reynolds Idealized Algol and its Specification Logic
121
Gordon Representing a Logic in the LCF Metalanguage
163
Turner Functional programming and proofs of program
187
Arsac The Transformation of Recursive Procedures into
211
Haberaann System Development Environments
247
Lorho The System DELTA and its Derivatives
307
A Computer Assisted Software Development System
329
Zanon The Knowledge Base
336
Bert Software Components Construction
347
Brown Tools for Amateurs
377
Brown Designing a VLSI Chip
391
Copyright

Common terms and phrases

Bibliographic information