@inbook{1270d55052be11dba4bc000ea68e967b,
title = "Higher-Order Minimal Functional Graphs.",
abstract = "We present a minimal function graph semantics for a higher-order functional language with applicative evaluation order. The semantics captures the intermediate calls performed during the evaluation of a program. This information may be used in abstract interpretation as a basis for proving the soundness of program analyses. An example of this is the ``closure analysis'' of partial evaluation.",
author = "Jones, {Neil D} and Mads Rosendahl",
year = "1994",
language = "English",
isbn = "3-540-58431-5",
series = "Lecture Notes in Computer Science",
publisher = "Kluwer Academic Publishers",
pages = "242--252",
editor = "Giorgio Levi",
booktitle = "Algebraic and Logic Programming, 4th International Conference",
}