Bibliographische Detailangaben

Beteilige Person:	Reps, Thomas W. 1956- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Ithaca, New York 1982
Schriftenreihe:	Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 514
Schlagwörter:	Computer programs Synthesizer Generator (Computer system) Hochschulschrift
Abstract:	This thesis concerns the design of interactive, language-based programming environments that use knowledge of a programming language to provide functions based on the structure and meaning of programs. The goal of the research is a system-constructor to enable editors for different languages to be created easily The most challenging aspect of such a system is the design of the semantic component, because a language-based editor performs static semantic analysis when a program is altered in order to detect erroneous constructions or to prevent illegal modifications. For efficiency, this should be performed incrementally, re-using as much old information as possible; therefore, a major focus of my research concerns a model of editing for which it is possible to perform incremental semantic analysis efficiently In this model, a program is represented as an attributed tree in which all attributes have consistent values; programs are modified by tree operations such as pruning, grafting, and deriving. After each modification, some of the attributes require new values; incremental semantic analysis is performed by updating attribute values to again make them all consistent. The thesis presents several algorithms for this process that are asymptotically optimal in time
Beschreibung:	Zugl.: Ithaca, NY, Cornell Univ., Diss.
Umfang:	173 Sp.