Abstract interpretations & abstract machines
Subtitle: contributions to a methodology for the implementation of logic programs
By: Ulf Nilsson
Contributors: Universitetet i Linköping
Series: Linköping studies in science and technology -dissertations- -- no 265
Publisher: Linköping University
Published: 1992
Language: eng
Number of pages: 167
ISBN-13: 9789178708581
Other titles: Abstract interpretations and abstract machines.
Notes: Thesis (doctoral)--Universitetet i Linköping, 1992.