chickadee » scheme0-pe » monotate

monotateprocedure

Does monovariant binding time analysis and an- notation of program given the binding times sdpattern of its goal function. Returns the annotated two-level Scheme0 program.