Open Access
Lecture Notes in Computer Science, pages 136-146
A relational model for non-deterministic programs and predicate transformers
2
IMAG, Grenoble Cédex, France
|
Publication type: Book Chapter
Publication date: 1980-01-01
Journal:
Lecture Notes in Computer Science
Q2
SJR: 0.606
CiteScore: 2.6
Impact factor: —
ISSN: 03029743, 16113349, 18612075, 18612083
Abstract
A relational model for non-deterministic programs is presented. Several predicate transformers are introduced and it is shown that one of them satisfies all the healthiness criteria indicated by Dijkstra for a useful total correctness predicate transformer. An axiomatic relational definition of the language of guarded commands is proposed. From it the predicate transformers associated to each command in the language are derived. The fact that Dijkstra's axioms are rediscovered proves their consistency in the model.
Found
Found
Top-30
Journals
|
1
2
|
|
|
Lecture Notes in Computer Science
2 publications, 50%
|
|
|
Journal of Mathematical Sciences
1 publication, 25%
|
|
|
Annals of Mathematics and Artificial Intelligence
1 publication, 25%
|
|
|
1
2
|
Publishers
|
1
2
3
4
|
|
|
Springer Nature
4 publications, 100%
|
|
|
1
2
3
4
|
- We do not take into account publications without a DOI.
- Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
- Statistics recalculated weekly.
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
Cite this
GOST |
RIS |
BibTex
Cite this
GOST
Copy
Guerreiro P. A relational model for non-deterministic programs and predicate transformers // Lecture Notes in Computer Science. 1980. pp. 136-146.
GOST all authors (up to 50)
Copy
Guerreiro P. A relational model for non-deterministic programs and predicate transformers // Lecture Notes in Computer Science. 1980. pp. 136-146.
Cite this
RIS
Copy
TY - GENERIC
DO - 10.1007/3-540-09981-6_10
UR - https://doi.org/10.1007/3-540-09981-6_10
TI - A relational model for non-deterministic programs and predicate transformers
T2 - Lecture Notes in Computer Science
AU - Guerreiro, Pedro
PY - 1980
DA - 1980/01/01
PB - Springer Nature
SP - 136-146
SN - 0302-9743
SN - 1611-3349
SN - 1861-2075
SN - 1861-2083
ER -
Cite this
BibTex (up to 50 authors)
Copy
@incollection{1980_Guerreiro,
author = {Pedro Guerreiro},
title = {A relational model for non-deterministic programs and predicate transformers},
publisher = {Springer Nature},
year = {1980},
pages = {136--146},
month = {jan}
}