Next: machinery call retvals, Previous: machinery stack overflow, Up: machinery [Index]
We assume the validity of machinery simplifications to focus on some aspect of the runtime behaviour, Simplification assumptions.