Live data structures in logic programs derivation by means of abstract interpretation

Live data structures in logic programs derivation by means of abstract interpretation

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mulkers, Anne (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 1993
Schriftenreihe:	Lecture notes in computer science 675
Schlagworte:	Datastructuren Logisch programmeren Programmation logique Structures de données (Informatique) Structures de données (informatique) Types abstraits de données (Informatique) Types abstraits de données (informatique) abstraction donnée analyse programme donnée vive interprétation abstraite programmation en logique Data structures (Computer science) Abstract data types (Computer science) Dynamische Datenstruktur Logische Programmierung Datenstruktur Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Live data structures in logic programs derivation by means of abstract interpretation

Live data structures in logic programs derivation by means of abstract interpretation von Mulkers, Anne

Veröffentlicht 1993

Volltext

Abschlussarbeit Elektronisch E-Book