C. Hoare

发表

C. A. R. Hoare, E. Dijkstra, C. Hoare, 1978, CACM.
C. A. R. Hoare, C. Hoare, C. A. R. Hoare, 1983, Commun. ACM.
C. A. R. Hoare, M. Foley, C. Hoare, 1971, Comput. J..
C. A. R. Hoare, C. Hoare, 1996, FME.
C. A. R. Hoare, Niklaus Wirth, C. Hoare, 1966, CACM.
C. A. R. Hoare, Jifeng He, C. Hoare, 1993, Inf. Process. Lett..
C. Hoare, C. A. R. Hoare, 1993 .
Dines Bjørner, G. Goos, J. Hartmanis, 1990, Lecture Notes in Computer Science.
Maurice Herlihy, C. A. R. Hoare, Viktor Vafeiadis, 2006, PPoPP '06.
C. A. R. Hoare, C. Hoare, T. Hoare, 1974, CACM.
C. A. R. Hoare, C. Hoare, Prof. C. A. R. Hoare, 1972, Acta Informatica.
C. A. R. Hoare, Willem P. de Roever, Nissim Francez, 1979, J. Comput. Syst. Sci..
C. A. R. Hoare, C. Hoare, 1984, IEEE Software.
C. Hoare, 2000 .
Charles Antony Richard Hoare, C. Hoare, 1986 .
C. A. R. Hoare, Willem P. de Roever, Nissim Francez, 1978, International Symposium on Mathematical Foundations of Computer Science.
C. A. R. Hoare, C. Hoare, 1973, Comput. J..
C. A. R. Hoare, A. M. Macnaghten, C. Hoare, 1977, Comput. J..
C. A. R. Hoare, Jifeng He, C. E. Martin, 1991, Mathematical Structures in Computer Science.
C. A. R. Hoare, C. Hoare, 1993, SIGSOFT '93.
C. A. R. Hoare, C. Hoare, 2002, Software Pioneers.
C. A. R. Hoare, C. Hoare, 1991 .
J. C. Shepherdson, Charles Antony Richard Hoare, C. Hoare, 1985 .
Edsger W. Dijkstra, Charles Antony Richard Hoare, F. R. Bauer, 1985 .
C. Hoare, K. Apt, 2021, ArXiv.
C. A. R. Hoare, C. Hoare, 1974, Inf. Process. Lett..
C. A. R. Hoare, C. Hoare, C. A. R. Hoare, 1983, CACM.
C. A. R. Hoare, C. Hoare, 1965 .
C. A. R. Hoare, C. Hoare, 1968, IFIP Congress.
C. A. R. Hoare, C. Hoare, 1983, The Analysis of Concurrent Systems.
C. A. R. Hoare, C. Hoare, 1975, Language Hierarchies and Interfaces.
C. Hoare, 1971, CACM.
Flemming Nielson, Anders P. Ravn, Hans Rischel, 1989 .
C. A. R. Hoare, Jifeng He, C. Hoare, 1987, Information Processing Letters.
C. A. R. Hoare, A. W. Roscoe, C. Hoare, 1984, FGCS.
C. A. R. Hoare, Z. C. Chen, C. Hoare, 1981, ICDCS.
C. A. R. Hoare, E. A. Ashcroft, M. Clint, 1976, Acta Informatica.
C. A. R. Hoare, Jifeng He, C. Hoare, 1989, Mathematical Foundations of Programming Semantics.
C. A. R. Hoare, C. Hoare, 1987 .
C. A. R. Hoare, C. Hoare, 1996, CSUR.
C. A. R. Hoare, C. Hoare, 1989, TAPSOFT, Vol.1.
C. A. R. Hoare, C. Hoare, 2008, BCS Int. Acad. Conf..
C. A. R. Hoare, C. Hoare, 2021, Ideas That Created the Future.
C. A. R. Hoare, C. Hoare, 1973, Inf. Process. Lett..
C. A. R. Hoare, C. Hoare, 1972, Comput. J..
C. A. R. Hoare, C. Hoare, 1996, Microprocessing and Microprogramming.
Jifeng He, Mark B. Josephs, M. B. Josephs, 1990, Programming Concepts and Methods.
C. Hoare, H. Jifeng, B., 1989 .
Charles Antony Richard Hoare, C. Hoare, 1981, CACM.
Ole-Johan Dahl, Charles Antony Richard Hoare, C. Hoare, 1972 .
C. A. R. Hoare, João Fernando Ferreira, Alexandra Mendes, 2019, FMTea.
C. A. R. Hoare, C. Hoare, 1971, Symposium on Semantics of Algorithmic Languages.
C. A. R. Hoare, C. Hoare, 2002, Software Pioneers.
Georg Struth, C. A. R. Hoare, Jim Woodcock, 2019, UTP.
C. A. R. Hoare, Carroll Morgan, A. W. Roscoe, 1987, CACM.
C. A. R. Hoare, A. W. Roscoe, Stephen D. Brookes, 1984, JACM.
Georg Struth, C. A. R. Hoare, Bernhard Möller, 2005, J. Log. Algebraic Methods Program..
C. A. R. Hoare, C. Hoare, 2021, Theories of Programming.
C. A. R. Hoare, Jifeng He, C. Hoare, 2006, Theor. Comput. Sci..
C. A. R. Hoare, Jakob Rehof, Cédric Fournet, 2004, CAV.
C. A. R. Hoare, Jifeng He, C. Hoare, 1999, Inf. Sci..
C. A. R. Hoare, C. Hoare, 2004, 25 Years Communicating Sequential Processes.
C. A. R. Hoare, Ernst-Rüdiger Olderog, C. Hoare, 1983, Acta Informatica.
Edsger W. Dijkstra, Charles Antony Richard Hoare, O. J. Dahl, 1972, A.P.I.C. Studies in data processing.
C. A. R. Hoare, Maurice Clint, C. Hoare, 1972, Acta Informatica.
Charles Antony Richard Hoare, R. M. Mckeag, C. Hoare, 1982 .
C. A. R. Hoare, A. W. Roscoe, C. Hoare, 1988, Theor. Comput. Sci..
C. A. R. Hoare, C. Hoare, 1987, Computer.
C. A. R. Hoare, C. Hoare, T. Hoare, 1969, CACM.
C. Hoare, C.A. R. Hoare, C.A. R. Hoare, 1975, Reliable Software.
C. A. R. Hoare, C. Hoare, 1981, CACM.
C. A. R. Hoare, J. Michael Spivey, Silvija Seres, 1999, ICLP.
C. A. R. Hoare, Jifeng He, C. Hoare, 1999, ECOOP.
Ernst-Rüdiger Olderog, Jonathan P. Bowen, Hans Langmaack, 1996 .
C. A. R. Hoare, C. Hoare, 1975, International Journal of Computer & Information Sciences.
Leslie Lamport, Charles Antony Richard Hoare, L. Lamport, 1999 .
C. A. R. Hoare, Jim Welsh, W. J. Sneeringer, 1977, Softw. Pract. Exp..
Charles Antony Richard Hoare, C. Hoare, 1972 .
C. A. R. Hoare, Anders P. Ravn, Chaochen Zhou, 1991, Inf. Process. Lett..
C. A. R. Hoare, Jifeng He, Jeff W. Sanders, 1987, Inf. Process. Lett..
C. A. R. Hoare, Jifeng He, Jeff W. Sanders, 1986, ESOP.
C. A. R. Hoare, C. Hoare, C. A. R. Hoare, 1975, Comput. Lang..
C. Hoare, R. Ca, C. A. R. Hoare, 1971, Commun. ACM.
C. A. R. HOARE, C. Hoare, T. Hoare, 1969, CACM.
Jim Woodcock, C. A. R. Hoare, Juan Bicarregui, 2006, Formal Aspects of Computing.
C. A. R. Hoare, C. Hoare, 2003, IEEE Ann. Hist. Comput..
C. A. R. Hoare, Jifeng He, C. Hoare, 1997, Euro-Par.
C. A. R. Hoare, C. Hoare, 2010, Concurr. Comput. Pract. Exp..
C. A. R. Hoare, C. Hoare, 1980, On the Construction of Programs.
C. A. R. Hoare, C. Hoare, 1986 .
Simon L. Peyton Jones, C. A. R. Hoare, Simon Marlow, 1999, PLDI '99.
C. A. R. Hoare, C. Hoare, T. Hoare, 2003, JACM.
C. A. R. Hoare, C. Hoare, 2002, Essays in Memory of Ole-Johan Dahl.
C. A. R. Hoare, Niklaus Wirth, C. Hoare, 1972, Acta Informatica.
Augusto Sampaio, C. A. R. Hoare, Jifeng He, 1993, Acta Informatica.
Georg Struth, C. A. R. Hoare, Stephan van Staden, 2014, J. Log. Algebraic Methods Program..
C. A. R. Hoare, Peter E. Lauer, C. Hoare, 1974, Acta Informatica.
Charles Antony Richard Hoare, C. Hoare, 1974 .
He Jifeng, Charles Antony Richard Hoare, C. Hoare, 1992 .
Georg Struth, C. A. R. Hoare, Bernhard Möller, 2016, UTP.
Charles Antony Richard Hoare, C. Hoare, 1973 .
C. A. R. Hoare, Stephan van Staden, C. Hoare, 2012, Sci. Comput. Program..
C. A. R. Hoare, C. Hoare, 1972 .
Cliff B. Jones, Charles Antony Richard Hoare, C. Hoare, 1989 .
Georg Struth, C. A. R. Hoare, Bernhard Möller, 2009, CONCUR.
C. A. R. Hoare, Jifeng He, C. Hoare, 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.
C. A. R. Hoare, C. Hoare, 1995, COMPASS/ADT.
C.A.R. Hoare, E.C.R. Hehner, C. Hoare, 1983, Theor. Comput. Sci..
C. A. R. Hoare, C. Hoare, 2007, Comput. J..
C. A. R. Hoare, C. Hoare, 1993, SIGSOFT '93.
L. Lamport, C. Hoare, 1999 .
C. A. R. Hoare, Jifeng He, C. Hoare, 1998, RelMiCS.
C. A. R. Hoare, C. Hoare, 1978, JACM.
C. Hoare, 1981, CACM.
C. A. R. Hoare, C. Hoare, 1978, ICSE '78.