( en | de | ru )

 

Disambiguierung von "Hoare, C. A. R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unifying theories of programming.

, und . RelMiCS, Seite 97-99. (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

R. A. A. Bowler

C R Jacob

C A Knorr

Mahmut Çag r c

J R C Cousland

 

Weitere Publikationen von Autoren mit dem selben Namen

An axiomatic definition of the programming language PASCAL, und . Acta Informatica, 2 (4): 335--355 (Dezember 1973)The laws of OCCAM programming, und . Theoretical Computer Science, 60 (2): 177--229 (September 1988)Consistent and Complementary Formal Theories of the Semantics of Programming Languages., und . Acta Inf., (1974)Algebra of Logic Programming., , und . ICLP, Seite 184-199. MIT Press, (1999)Editorial.. J. Log. Comput., 4 (3): 215-216 (1994)The Verifying Compiler: A Grand Challenge for Computing Research.. Ershov Memorial Conference, Volume 2890 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2003)Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.. The Analysis of Concurrent Systems, Volume 207 von Lecture Notes in Computer Science, Seite 132-133. Springer, (1983)Algorithm 65: find.. Commun. ACM, 4 (7): 321-322 (1961)A Trace Model for Pointers and Objects., und . ECOOP, Volume 1628 von Lecture Notes in Computer Science, Seite 1-17. Springer, (1999)Partial Correctness of Communicating Sequential Processes., und . ICDCS, Seite 1-12. IEEE Computer Society, (1981)