Abstract interpretations & abstract machines : contributions to a methodology for the implementation of logic programs
Saved in:
| OCLC: | 59948991 |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Language: | English |
| Published: |
Linköping University,
1992.
|
| Series: | Linköping studies in science and technology -dissertations- ;
no 265. |
| Format: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01349cam a2200337M 45 0 | ||
|---|---|---|---|
| 001 | in00006594641 | ||
| 003 | OCoLC | ||
| 005 | 00010101120000.0 | ||
| 008 | 050502s1992 sw 000 0 eng d | ||
| 020 | |a 9178708583 (PBK) | ||
| 020 | |a 9789178708581 (PBK) | ||
| 035 | |a (OCoLC)59948991 | ||
| 040 | |a UKV3G |c UKV3G |d CRL | ||
| 049 | |a CRLL | ||
| 099 | |a P-00561781 | ||
| 100 | 1 | |a Nilsson, Ulf. | |
| 245 | 1 | 0 | |a Abstract interpretations & abstract machines : |b contributions to a methodology for the implementation of logic programs / |c Ulf Nilsson. |
| 260 | |b Linköping University, |c 1992. | ||
| 300 | |a 167 p. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 490 | 0 | |a Linköping studies in science and technology -dissertations- ; |v no 265. | |
| 502 | |b doctoral |c Universitetet i Linköping |d 1992. | ||
| 710 | 2 | |a Universitetet i Linköping. | |
| 740 | 0 | |a Abstract interpretations and abstract machines. | |
| 752 | |a Sweden. | ||
| 907 | |a .b25689101 |b 03-28-22 |c 02-14-08 | ||
| 998 | |a diss |b 02-14-08 |c m |d - |e - |f eng |g sw |h 0 |i 1 | ||
| 999 | f | f | |i ea2bcdb5-fcf7-5dfb-a12a-251c54b65521 |s 936fcfba-b10d-5d59-991b-5fdabdabe159 |t 0 |