The following pages link to Steven S. Muchnick (Q1249937):
Displayed 10 items.
- TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages (Q1249938) (← links)
- Item:Q1249937 (redirect page) (← links)
- Subrecursive program schemata I P II. I: Undecidable equivalence problems. II: Decidable equivalence problems (Q2559259) (← links)
- (Q3922128) (← links)
- Computational Complexity of Multiple Recursive Schemata (Q4110605) (← links)
- (Q4125721) (← links)
- Even Simple Programs Are Hard To Analyze (Q4131614) (← links)
- (Q4134928) (← links)
- The Vectorized Grzegorczyk Hierarchy (Q4135481) (← links)
- The Complexity of Finite Memory Programs with Recursion (Q4147590) (← links)