ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
19
views
11
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
0
similar
All similar
Record
: found
Abstract
: found
Article
: found
Is Open Access
Fifty years of Hoare's Logic
Preprint
Author(s):
Krzysztof R. Apt
,
Ernst-Ruediger Olderog
Publication date
Created:
08 April 2019
Read this article at
ScienceOpen
ArXiv
Download
Download
PDF
XML
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
We discuss a history of Hoare's logic.
Related collections
Blockchain in Healthcare Today
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
Ten Years of Hoare's Logic: A Survey---Part I
Krzysztof R. Apt
(1981)
0
comments
Cited
37
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A Proof System for Communicating Sequential Processes
Krzysztof R. Apt
,
Nissim and Willem P. de Roever
(1980)
0
comments
Cited
25
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Proof rules and transformations dealing with fairness
K.R. Apt
,
E.-R. Olderog
(1983)
0
comments
Cited
10
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Publication date Created:
08 April 2019
Article
ArXiV ID:
1904.03917
SO-VID:
5f4c8d58-b066-4e6a-9213-8fcd5be44247
License:
http://arxiv.org/licenses/nonexclusive-distrib/1.0/
History
Custom metadata
Comments
70 pages
Categories
cs.LO
ScienceOpen disciplines:
Theoretical computer science
Data availability:
ScienceOpen disciplines:
Theoretical computer science
Comments
Comment on this article
Sign in to comment
Most referenced authors
30
Edmund M. Clarke
Joseph Y. Halpern
Krzysztof R. Apt
See all reference authors