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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the 10th international conference on Software engineering S. 222 - 230
1. Verfasser: Narayanswamy, K.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: Los Alamitos, CA, USA IEEE Computer Society Press 01.04.1988
Schriftenreihe:ACM Conferences
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780897912587
0897912586
DOI:10.5555/55823.55845