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ženo v:
Podrobná bibliografie
Vydáno v:Proceedings of the 10th international conference on Software engineering s. 222 - 230
Hlavní autor: Narayanswamy, K.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: Los Alamitos, CA, USA IEEE Computer Society Press 01.04.1988
Edice:ACM Conferences
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780897912587
0897912586
DOI:10.5555/55823.55845