Live Data Structures in Logic Programs
Subtitle: Derivation by Means of Abstract Interpretation
By: by Anne Mulkers
Series: Lecture Notes in Computer Science -- 675.; Lecture Notes in Computer Science -- 675.
Publisher: Springer Berlin Heidelberg
Published: 1993
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 220
ISBN-13: 9783540566946
Subjects: Logic design; Logics and Meanings of Programs; Computer Science; Programming Languages, Compilers, Interpreters; Computer science; Artificial intelligence; Artificial Intelligence (incl. Robotics)