Gordon Plotkin

Gordon Plotkin is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.

  • Proof, Language, and Interaction

    Proof, Language, and Interaction

    Essays in Honour of Robin Milner

    Gordon Plotkin, Colin P. Stirling, and Mads Tofte

    This collection of original essays reflects the breadth of current research in computer science.

    This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages. Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.

    Contributors Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, Gérard Berry, Lars Birkedal, Gérard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gérard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saïbi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel

  • Computational Logic

    Computational Logic

    Essays in Honor of Alan Robinson

    Jean Louis Lassez and Gordon Plotkin

    Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics.

    Contents Inference • Subsumption, A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk • The Markgraf Karl Refutation Procedure, Hans Jürgen Ohlbach and Jörg H. Siekmann • Modal Logic Should Say More than it Does, Melvin Fitting • Interactive Proof Presentation, W. W. Bledsoe • Intelligent Backtracking Revisited, Maurice Bruynooghe • A Science of Reasoning, Alan Bundy • Inductive Inference of Theories from Facts, Ehud Y. Shapiro • Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner • Disunification: A Survey, Hubert Comon • A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang • Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Lévy • Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell • Automatic Dimensional Analysis, Mitchell Wand • Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark • A Near-Horn Prolog for Compilation, Donald Loveland and David Reed • Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson • An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari • Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo • Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan • Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock

    • Hardcover $100.00
    • Paperback $60.00