Pages that link to "Item:Q1249430"
From MaRDI portal
The following pages link to Proof rules for the programming language Euclid (Q1249430):
Displaying 9 items.
- Semantics of algorithmic languages (Q760200) (← links)
- The axiomatic semantics of programs based on Hoare's logic (Q800712) (← links)
- A complete axiomatic semantics of spawning (Q808281) (← links)
- Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles'' (Q1134511) (← links)
- Axiomatic semantics for ''escape'' statements (Q1182114) (← links)
- On removing the machine from the language (Q1247740) (← links)
- On the notion of expressiveness and the rule of adaptation (Q1838825) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Weakest preconditioned goto axiom (Q2680222) (← links)
