Copy of the paper "The Axiomatic Method: Data Manipulation"

Identification

Description level

Reference code

PT/UM-ADB/ASS/IFIP/TC2-WG2.1/009/000143

Title

Copy of the paper "The Axiomatic Method: Data Manipulation"

Holding entity

Arquivo Distrital de Braga

Dimension and support / Extents

8 fls.

Content and structure

Scope and content

Copy of the paper "The Axiomatic Method: Data Manipulation" by C. A. R. Hoare. This paper illustrates the manner in which the axiomatic method may be applied to the rigorous definition of programming languages.Cópia do artigo "The Axiomatic Method: Data Manipulation", de C. A. R. Hoare. Este artigo ilustra a maneira pela qual o método axiomático pode ser aplicado à definição rigorosa de linguagens de programação.

Access and use

Language of the material

eng

Comments

Copy of the paper "The Axiomatic Method: Data Manipulation"

My list

Warning!