Static Analysis-based program evolution support in the common lisp framework

The Common Lisp Framework(CLF) is an object-oriented environment to support the development and maintenance of programs written in the language Common Lisp. A static analysis tool, which is part of CLF, supports program evolution in CLF. Since the effectiveness of our approach stems from the basic d...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Proceedings of the 10th international conference on Software engineering s. 222 - 230
Hlavný autor: Narayanswamy, K.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: Los Alamitos, CA, USA IEEE Computer Society Press 01.04.1988
Edícia:ACM Conferences
Predmet:
Social and professional topics > Professional topics > Management of computing and information systems > Software management
Social and professional topics > Professional topics > Management of computing and information systems > Software management > Software maintenance
Software and its engineering > Software creation and management
Software and its engineering > Software creation and management > Designing software
Software and its engineering > Software notations and tools > General programming languages > Language types
Theory of computation > Logic > Automated reasoning
ISBN:9780897912587, 0897912586
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:The Common Lisp Framework(CLF) is an object-oriented environment to support the development and maintenance of programs written in the language Common Lisp. A static analysis tool, which is part of CLF, supports program evolution in CLF. Since the effectiveness of our approach stems from the basic design and architecture of CLF, we provide an overview of the relevant features of CLF. The static analysis tool asserts the static properties of program objects definitions into the CLF objectbase. CLF's general mechanism to add rules to the objectbase provides the conceptual basis to respond to changes in the static properties of program objects in several interesting ways - from programming routine responses to program changes to viewing program alterations idiomatically.
Bibliografia:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780897912587
0897912586
DOI:10.5555/55823.55845