Pages that link to "Item:Q1216944"
From MaRDI portal
The following pages link to On procedures as open subroutines. II (Q1216944):
Displayed 10 items.
- Zur Elimination von Prozedurschachtelungen (Q754629) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369) (← links)
- On the complexity of some problems concerning the use of procedures. II (Q1169277) (← links)
- On the expressive power of finitely typed and universally polymorphic recursive procedures (Q1185006) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- Tree-stack automata (Q4879207) (← links)