Skip to main content
SpringerLink
Log in
Book cover

Workshop on the Specification of Abstract Data Types

Workshop of the ESPRIT Basic Research Working Group COMPASS

ADT 1995, COMPASS 1995: Recent Trends in Data Type Specification pp 49–57Cite as

Unification of theories: A challenge for computing science

  • Invited Presentations
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1130))

Abstract

Unification of theories is the long-standing goal of the natural sciences; and modern physics offers a spectacular paradigm of its achievement. The structure of modern mathematics has also been determined by its great unifying theories — topology, algebra and the like. The same ideals and goals are shared by researchers and students of theoretical computing science.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baeten, J.C.M. and Weijland, W.P. Process Algebra. Cambridge University Press, 1990.

    Google Scholar 

  2. Barr, M., Wells, C. Category Theory for Computing Science. Prentice Hall, second edition, 1995.

    Google Scholar 

  3. Barrow, John D. Theories of Everything. The Quest for Ultimate Explanation. Oxford University Press, 1991.

    Google Scholar 

  4. Dijkstra, Edsger W., Scholten, Carel S. Predicate Calculus and Program Semantics. Springer Verlag, 1990.

    Google Scholar 

  5. Hennessy, M.C. Algebraic Theory of Processes. MIT Press, 1988.

    Google Scholar 

  6. Hentenryck, P. Van. Constraint Satisfaction in Logic Programming. MIT Press, 1989.

    Google Scholar 

  7. Hoare, C.A.R. Unified Theories of Programming. Oxford University Computing Laboratory, 1994. ftp://ftp.comlab.ox.ac.Uk/pub/Documents/techpapers/Tony.Hoare/theory94.ps.Z.

    Google Scholar 

  8. Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall, 1985.

    Google Scholar 

  9. Lloyd, J.W. Foundations of Logic Programming. Springer Verlag, second edition, 1987.

    Google Scholar 

  10. Milner, A.J.R.G. Communication and Concurrency. Prentice Hall, 1989.

    Google Scholar 

  11. Vickers, S. Topology via Logic. Cambridge University Press, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford

    Tony Hoare

Authors
  1. Tony Hoare
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Magne Haveraaen Olaf Owe Ole-Johan Dahl

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hoare, T. (1996). Unification of theories: A challenge for computing science. In: Haveraaen, M., Owe, O., Dahl, OJ. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1995 1995. Lecture Notes in Computer Science, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61629-2_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-61629-2_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61629-0

  • Online ISBN: 978-3-540-70642-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation