Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Lecture Notes in Computer Science, Band 675)

Structures

von Anne Mulkers

Taschenbuch

EAN=ISBN-13: 978-3-540-56694-6

ISBN-10: 3-540-56694-5

Springer · 2008