guest ::
Aliasing and groundness analysis of logic programs through abstract interpretation and its safety
;
1992
Einrichtungen
- Lehr- und Forschungsgebiet Informatik (ama10)
- Lehrstuhl für Informatik II (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Book
Format
print
Sprache
English
Interne Identnummern
RWTH-CONV-208623
Datensatz-ID: 97047
|
The record appears in these collections: |
Record created 2013-01-28, last modified 2017-07-03