Aliasing and groundness analysis of logic programs through abstract interpretation and its safety.
Saved in:
Personal Name(s): | Hans, Werner. |
---|---|
Winkler, Stephan. | |
Imprint: |
Aachen :
Technische Hochschule Aachen,
1992.
|
Physical Description: |
30 S. |
Note: |
englisch |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Aachener Informatik-Berichte ;
Vol 92-0027. |
Subject (ZB): | |
Classification: |
JSC | |
---|---|
Institute Call number: S 006513-92-0027'01' Barcode: 1093102852 Available |