chickadee » scheme0-pe » monope

monopeprocedure

Does a monovariant binding time analysis and annotation of program, then specializes it with respect to the given static inputs staticinputs. Returns the residual Scheme0 program.