Titlebook: Semantics, Applications, and Implementation of Program Generation; Second International Walid Taha Conference proceedings 2001 Springer-Ver

ABASH

A Unifying Approach to Goal-Directed Evaluation, C code, and OCaml byte code. Binding-time analysis and partial evaluation of the continuation-based interpreter automatically give rise to C programs that coincide with the result of Proebsting’s optimized compiler.

charisma

Expediency

自由职业者

Semantics, Applications, and Implementation of Program GenerationSecond International

在前面

Notify

琐事

Oligarchy

愚蠢人

n mit Sternchen und vom Kleindruck. Beides kann der weniger geschulte und interessierte Leser zur oberflächlichen Information weglassen, ohne daß der Rest unverständlich bleibt. Auf Vollständigkeit des Schrifttumsnachweises konnte zumal für die Zeit vor 1957 verzichtet werden, weil im Buch von L. BE

antiquated