The weakest precondition calculus: Recursion and duality (Q1346768): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / cites work | |||
| Property / cites work: Q3917476 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Countable nondeterminism and random assignment / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3898009 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On correct refinement of programs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3899466 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3657408 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The weakest precondition calculus: Recursion and duality / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A simple fixpoint argument without the restriction to continuity / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4144755 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4692630 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Predicate-transformer semantics of general recursion / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4168046 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A theoretical basis for stepwise refinement and the programming calculus / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4109269 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Power domains / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3316563 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A characterization of weakest preconditions / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf01213603 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2012569382 / rank | |||
Normal rank | |||
Latest revision as of 08:39, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The weakest precondition calculus: Recursion and duality |
scientific article |
Statements
The weakest precondition calculus: Recursion and duality (English)
0 references
9 April 1995
0 references
denotational semantics
0 references
refinement
0 references
Smyth power domain
0 references
Egli-Milner power domain
0 references
