Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers. (Lecture notes in computer science)

Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers.

(Lecture notes in computer science)

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0387566945 (U.S. : alk. paper)
Title: Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers.
Series Title: Lecture notes in computer science
Author Heading: Mulkers, Anne, 1960-
Publication, Distribution, etc.: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date: c1993.
Publication Date (W3CDTF): 1993
Extent: viii, 220 p. : ill. ; 24 cm.
Note (Dissertation): Based on the author's thesis (Ph.D.) --Katholieke Universiteit Leuven, 1991.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: プログラミング (電子計算機) Puroguramingu (densikeisanki)
Data structures (Computer science)
Abstract data types (Computer science)
LCC: QA76.9.D35
DDC: 005.13/1
NDLC: M159
Note (Bibliography): Includes bibliographical references (p. [213]-220) .
Holding library: 国立国会図書館
Call No.: M159-A131
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003215724
http://id.ndl.go.jp/bib/000003215724
LC Control Number: 93019196
https://lccn.loc.gov/93019196
Bibliographic Record Category (NDL): 211