Pages that link to "Item:Q1152704"
From MaRDI portal
The following pages link to Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II (Q1152704):
Displaying 6 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Algebraic characterization of reducible flowcharts (Q789162) (← links)
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Deterministic and nondeterministic flowchart interpretations (Q796975) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming (Q2640347) (← links)
