登入選單

返回Google圖書搜尋

Teoretiske Aspekter Af Semantik-baseret Sprog-implementation

Flemming Nielson

出版	Aarhus University, Computer Science Department, 1990
URL	http://books.google.com.hk/books?id=1izgOwAACAAJ&hl=&source=gbs_api

註釋

Abstract: "The research summarised here concerns theoretical aspects involved in the implementation of programming languages directly from a description of their semantics. This involves a study of the subtasks abstract interpretation (a framework for program analysis), code generation and program transformation and the main aim has been to ensure the correctness of these subtasks."