Pages that link to "Item:Q2561483"
From MaRDI portal
The following pages link to On correct procedure parameter transmission in higher programming languages (Q2561483):
Displaying 13 items.
- Zur Elimination von Prozedurschachtelungen (Q754629) (← links)
- Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- Pseudo-recursive procedures (Q1057638) (← links)
- Low cost environment changing in a shallow binding system (Q1082065) (← links)
- A polynomial determination of the most-recent property in Pascal-like programs (Q1095643) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- On the complexity of some problems concerning the use of procedures. II (Q1169277) (← links)
- On procedures as open subroutines. II (Q1216944) (← links)
- Tree-stack automata (Q4879207) (← links)
- Polynomial recursion analysis in pascal like programs (Q5096232) (← links)
- Complexity of proving program correctness (Q5096233) (← links)