Kima: An Automated Error Correction System for Concurrent Logic Programs

We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explicit declarations of program properties.Strong moding/typing and constraint-based analysis are turning out to play fundamen...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Automated software engineering Jg. 9; H. 1; S. 67 - 94
Hauptverfasser:	Ajiro, Yasuhiro, Ueda, Kazunori
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Dordrecht Springer Nature B.V 01.01.2002
Schlagworte:	Algorithms Automation Error correction Error correction & detection Logic programs Optimization techniques
ISSN:	0928-8910, 1573-7535
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!