default search action

combined dblp search
author search
venue search
publication search

ask others

Theories of Programming, 2021

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/mc/JM2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/JM2021
Cliff B. Jones, Jayadev Misra:
Theories of Programming: The Life and Works of Tony Hoare. ACM Books 39, ACM / Morgan & Claypool 2021, ISBN 978-1-4503-8728-6
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/JonesM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/JonesM21
Cliff B. Jones, Jayadev Misra:
Preface.
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Hoare21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Hoare21
Tony Hoare:
The 1980 ACM Turing Award Lecture. 1-22
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/JonesM21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/JonesM21a
Cliff B. Jones, Jayadev Misra:
Finding Effective Abstractions. 23-40
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/AptO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/AptO21
Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Assessing the Success and Impact of Hoare's Logic. 41-76
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/HoareM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/HoareM21
C. A. R. Hoare, Jayadev Misra:
Preface to Special Issue on Software Verification. 77-80
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/HoareMLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/HoareMLS21
Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar:
The Verified Software Initiative: A Manifesto. 81-92
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/0001S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/0001S21
Peter Müller, Natarajan Shankar:
The First Fifteen Years of the Verified Software Project. 93-124
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/WoodcockBC0S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/WoodcockBC0S21
Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen:
Verification in the Grand Challenge. 125-156
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Hoare21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Hoare21a
C. A. R. Hoare:
Communicating Sequential Processes. 157-186
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Brookes021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Brookes021
Stephen D. Brookes, A. W. Roscoe:
CSP: A Practical Process Algebra. 187-222
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Sufrin21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Sufrin21
Bernard Sufrin:
Teaching at Belfast and Oxford. 223-250
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Hayes021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Hayes021
Ian J. Hayes, Steve King:
Software Specification. 251-270
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/May21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/May21
David May:
CSP, Occam, and Inmos. 271-284
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Woodcock21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Woodcock21
Jim Woodcock:
Hoare and He's Unifying Theories of Programming. 285-316
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Struth21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Struth21
Georg Struth:
Trimming the Hedges: An Algebra to Tame Concurrency. 317-346
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Hoare21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Hoare21b
Tony Hoare:
Envoi. 347-356
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/X21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/X21b
ACM Interview. 359-386
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Misra21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Misra21
Jayadev Misra:
Cv. 387-392
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/X21c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/X21c
Doctoral Students. 393-394
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Jones21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Jones21
Cliff B. Jones:
List of Tony Hoare's Publications. 395-410
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Gray21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Gray21
Margaret Gray:
Online Resources. 411-412
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/X21d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/X21d
Authors' Biographies/Index. 413-420

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.