(index ("monodiv" 0) ("polydiv" 244) ("annotate" 436) ("monotate" 774) ("polytate" 1031) ("spec" 1258) ("monope" 1491) ("polype" 1775) ("make" 1994) ("scheme" 2281))
(def (sig (procedure "monodiv program sdpattern" (id monodiv))) (p "Does a monovariant binding time analysis of the subject program program, given the binding times sdpattern of its goal function. Returns the resulting monovariant division."))
(def (sig (procedure "polydiv program sdpattern" (id polydiv))) (p "Similar to " (tt "monodiv") ", but does a polyvariant binding time analysis. Returns the resulting polyvariant division."))
(def (sig (procedure "annotate program division" (id annotate))) (p "Annotates the " (tt "Scheme0") " program according to the monovariant or polyvariant division. May make several copies of each function for a polyvariant division. Returns the annotated two-level " (tt "Scheme0") " program or reports that division is not congruent."))
(def (sig (procedure "monotate program sdpattern" (id monotate))) (p "Does monovariant binding time analysis and an- notation of program given the binding times sdpattern of its goal function.  Returns the annotated two-level " (tt "Scheme0") " program."))
(def (sig (procedure "polytate program sdpattern" (id polytate))) (p "Similar to " (tt "monotate") " but performs polyvariant binding time analysis and annotation. Returns the annotated two-level " (tt "Scheme0") " program."))
(def (sig (procedure "spec annprogram staticinputs" (id spec))) (p "Specializes the annotated annprogram with respect to the list " (tt "staticinputs") " of static argument values. Returns the residual " (tt "Scheme0") " program."))
(def (sig (procedure "monope program sdpattern staticinputs" (id monope))) (p "Does a monovariant binding time analysis and annotation of program, then specializes it with respect to the given static inputs " (tt "staticinputs") ". Returns the residual " (tt "Scheme0") " program."))
(def (sig (procedure "polype program sdpattern staticinputs" (id polype))) (p "Similar to " (tt "monope") " but does polyvariant binding time analysis and annotation. Returns the residual " (tt "Scheme0") " program."))
(def (sig (procedure "make f program" (id make))) (p "Converts program from " (tt "Scheme0") " to Scheme and defines a Scheme function f to invoke the converted program. Returns the name f.  Side effect: Defines function f. This is for executing residual " (tt "Scheme0") " programs."))
(def (sig (procedure "scheme program" (id scheme))) (p "Converts program from " (tt "Scheme0") " to Scheme, possibly renaming functions. Returns a list of Scheme function definitions. This is for studying residual Scheme0 programs."))
