Live Data Structures in Logic Programs Derivation by means of abstract interpretation

By: Mulkers, AnneMaterial type: TextTextSeries: Lecture notes in computer science ; 00675Publication details: Berlin ; Springer Verlag ; 1993Description: 220ISBN: 3540566945Subject(s): Computer Science
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha