QuoteRef: hoarCA11_1972

Reference

Hoare, C.A.R., Wirth, N., "An axiomatic definition of the programming language Pascal", Berichee der Fachgruppe Computer-Wissenschaffen, 6, November 1972. Google

Subtopic: Quote: gives a formal definition of Pascal using a very large set of axioms and inference rules

Related Topics

ThesaHelp: references g-h (299 items)
Topic: semantics by an abstract machine (38 items)