Tools

LEADER 01340cam a22003498a 4500

001 ocm27894871;

003 OCoLC;

005 20141212100938.0;

008 930322s1993 gw a a 000 0beng ;

010 a| 93019196;

020 a| 0387566945 (U.S. : alk. paper) :c| DM52.00;

035 a| (Sirsi) o27894871;

035 a| (OCoLC)27894871;

049 a| EREE;

050 00 a| QA76.9.D35b| M84 1993;

082 00 a| 005.13/12| 20;

100 1 a| Mulkers, Anne,d| 1960-=| ^A319463;

245 10 a| Live data structures in logic programs :b| derivation by means of abstract interpretation /c| Anne Mulkers.;

300 a| viii, 220 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 675;

504 a| Includes bibliographical references (p. [213]-220).;

650 0 a| Data structures (Computer science)=| ^A27146;

650 0 a| Abstract data types (Computer science)=| ^A191887;

830 0 a| Lecture notes in computer sciencev| 675.=| ^A466336;

596 a| 1;

998 a| 476812;

999 a| QA76.9.D35 M84 1993w| LCc| 1i| 30372007550632d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 10/6/1993x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	Mulkers, Anne, 1960-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1993.
Description	viii, 220 pages : illustrations ; 24 cm.
Subjects	Data structures (Computer science) Abstract data types (Computer science)

Series	Lecture notes in computer science ; 675 Lecture notes in computer science 675. ^A466336
Bibliography note	Includes bibliographical references (p. [213]-220).
LCCN	93019196
ISBN	0387566945 (U.S. : alk. paper) :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.D35 M84 1993	✔ Available	Place Hold

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

Click here for more information about this title

Availability