返回Google圖書搜尋

On the Power of Languages for the Manipulation of Complex Objects

出版	Institut National de Recherche en Informatique et en Automatique, 1988
URL	http://books.google.com.hk/books?id=B816GwAACAAJ&hl=&source=gbs_api

註釋Abstract: "Various models and languages for describing and manipulating hierarchically structured data have been recently proposed. Although algebraic, calculus based and logic programming oriented languages have all been considered, there is very little work on the expressive power of those languages. This paper presents a general model for complex objects, and languages based on the three paradigms for the model. The algebraic language generalizes those presented in the literature; it is an adaptation of the functional style of programming advocated by Backus. The notion of domain independence is defined, and syntactic restrictions (referred to as safety conditions) on calculus queries are formulated, that guarantee domain independence