Nondeterminacy and recursion via stacks and games (Q1318704)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Nondeterminacy and recursion via stacks and games |
scientific article; zbMATH DE number 540858
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nondeterminacy and recursion via stacks and games |
scientific article; zbMATH DE number 540858 |
Statements
Nondeterminacy and recursion via stacks and games (English)
0 references
5 April 1994
0 references
programming language with recursion
0 references
fixpoint induction
0 references
weakest- precondition
0 references
recursive procedures
0 references
compositional formal semantics
0 references
game- theoretic operational semantics
0 references
unfolding
0 references
stack semantics
0 references
0.8858263
0 references
0.87777096
0 references
0 references
0.8750161
0 references
0.87284255
0 references
0.85976124
0 references
0 references
