Copy of the paper "The Axiomatic Method: Data Manipulation"
Nível de descrição
Documento simples
Código de referência
PT/UM-ADB/ASS/IFIP/TC2-WG2.1/009/000143
Tipo de título
Atribuído
Título
Copy of the paper "The Axiomatic Method: Data Manipulation"
Datas descritivas
[S/D]
Dimensão e suporte
8 fls.
Localidade
[S/L]
Âmbito e conteúdo
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.
Cota atual
I-24-B-1-3-0087
Idioma e escrita
ENG (English)
Características físicas e requisitos técnicos
razoável