登入選單

返回Google圖書搜尋

Strictness Analysis and Denotational Abstract Interpretation

Flemming Nielson

出版	Institute of Electronic Systems, Aalborg University Centre, 1986
URL	http://books.google.com.hk/books?id=37CFXwAACAAJ&hl=&source=gbs_api

註釋

Abstract: "We develop a theory of abstract interpretation [CoCo79] for a certain typed [lambda]-calculus. This [lambda]-calculus is the static (or compile-time) part of a two-level metalanguage for which abstract interpretation has been developed in [Nie86, Nie84]. The present development relaxes one of the restrictions imposed in that development and this makes it possible to apply the modified development to obtain a strictness analysis for the typed [lambda]-calculus of [BHA86]. It is also shown that a collecting interpretation exists and this answers a problem left open in [BHA86]."