( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Proof Rule for Euclid Procedures.

, , и . Formal Description of Programming Concepts, стр. 211-220. North-Holland, (1977)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sally London

John Ralph

Louis London

Arved London

Heinz London

 

Другие публикации лиц с тем же именем

A Proof Rule for Euclid Procedures., , и . Formal Description of Programming Concepts, стр. 211-220. North-Holland, (1977)Certification of algorithm 245 M1: treesort 3: proof of algorithms - a new kind of certification.. Commun. ACM, 13 (6): 371-373 (1970)Remarks on the impact of program verification on language design.. Design and Implementation of Programming Languages, том 54 из Lecture Notes in Computer Science, стр. 313-320. Springer, (1976)A view of program verification.. Reliable Software, стр. 534-545. ACM, (1975)An interactive program verification system., , и . Reliable Software, стр. 482-492. ACM, (1975)Notes on the Design of Euclid., , , , и . Language Design for Reliable Software, стр. 11-18. ACM, (1977)Correctness of a compiler for a Lisp subset.. Proving Assertions About Programs, стр. 121-127. ACM, (1972)Experience with inductive assertions for proving programs correct.. Symposium on Semantics of Algorithmic Languages, том 188 из Lecture Notes in Mathematics, Springer, (1971)An Introduction to the Construction and Verification of Alphard Programs (Abstract)., , и . ICSE, стр. 390. IEEE Computer Society, (1976)The current state of proving programs correct.. ACM Annual Conference (1), стр. 39-46. ACM, (1972)