Tools

LEADER 07470cam 2200973 a 4500

001 ocm48928620;

003 OCoLC;

005 20260420152354.0;

008 020201s2002 gw a b 101 0 eng d;

010 a| 2002283456;

015 a| GBA2118182| bnb;

015 a| 02,N01,07682| dnb;

016 7 a| 9632741712| DE-101;

016 7 a| 0097288312| Uk;

019 a| 48978283a| 456697706a| 496288506a| 810755422a| 960140974a| 1057331343a| 1105981002a| 1170190743a| 1172771137a| 1225803942;

020 a| 354043092Xq| (pbk.);

020 a| 9783540430926q| (pbk.);

024 3 a| 9783540430926;

029 0 a| OHXb| har020002493;

029 1 a| AU@b| 000023357250;

029 1 a| AU@b| 000023416490;

029 1 a| AU@b| 000023783543;

029 1 a| DEBSZb| 096481110;

029 1 a| NLGGCb| 237139375;

029 1 a| NZ1b| 6737190;

029 1 a| YDXCPb| 1848936;

029 1 a| ZWZb| 068977247;

035 a| (Sirsi) o48928620;

049 a| EREE;

050 00 a| QA76.7b| .P32 2002;

055 3 a| QA75b| .L38 no.2257;

072 7 a| Q.2| lcco;

082 04 a| 005.1312| 211| https://id.oclc.org/worldcat/ddc/E3HfkxmxxDmTqYgCBJj4hXWPXT;

084 a| 54.532| bcl;

111 2 a| PADL 2002d| (2002 :c| Portland, Or.);

245 10 a| Practical aspects of declarative languages :b| 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 ; proceedings /c| Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).;

260 a| Berlin ;a| New York :b| Springer,c| 2002.;

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

336 a| textb| txt2| rdacontent;

337 a| unmediatedb| n2| rdamedia;

338 a| volumeb| nc2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 2257;

500 a| Internat. conference proceedings.;

504 a| Includes bibliographical references and index.;

530 a| Also available via the Internet.;

506 a| Also available via the Internet.;

505 0 a| Using a Declarative Language to Build an Experimental Analysis Tool / Catherine Meadows -- How to Talk to Your Computer so that It Will Listen / Veronica Dahl -- Single-Threaded Objects in ACL2 / Robert S. Boyer and J. Strother Moore -- Modeling Engineering Structures with Constrained Objects / Bharat Jayaraman and Pallavi Tambay -- Compiler Construction in Higher Order Logic: Programming / Chuck C. Liang -- Declarative Programming and Clinical Medicine (On the Use of Gisela in the MedView Project) / Olof Torgersson -- Semantics-Based Filtering: Logic Programming's Killer App? / Gopal Gupta, Hai-Feng Guo and Arthur I. Karshmer / [and others] -- Linear Scan Register Allocation in a High-Performance Erlang Compiler / Erik Johansson and Konstantinos Sagonas -- Compiling Embedded Programs to Byte Code / Morten Rhiger -- Typed Combinators for Generic Traversal / Ralf Lammel and Joost Visser -- Event-Driven FRP / Zhanyong Wan, Walid Taha and Paul Hudak -- Adding Apples and Oranges / Martin Erwig and Margaret Burnett -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms / Peter Thiemann -- A Better XML Parser through Functional Programming / Oleg Kiselyov -- Functional Approach to Texture Generation / Jerzy Karczmarczuk -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs / John P. Gallagher and German Puebla -- A High-Level Generic Interface to External Programming Languages for ECLiPSe / Kish Shen, Joachim Schimpf and Stefano Novello / [and others] -- A Debugging Scheme for Declarative Equation Based Modeling Languages / Peter Bunus and Peter Fritzson -- Segment Order Preserving and Generational Garbage Collection for Prolog / Ruben Vandeginste, Konstantinos Sagonas and Bart Demoen -- Exploiting Efficient Control and Data Structures in Logic Programs / Rong Yang and Steve Gregory -- Suspending and Resuming Computations in Engines for SLG Evaluation / Luis F. Castro, Terrance Swift and David S. Warren.;

520 a| "This book constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002, held in Portland, OR, USA in January 2002. The 18 revised full papers presented together with three invited contributions were carefully reviewed and selected from 37 submissions. Among the topics addressed are objects, ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, texture generation, logic programming, generic programming, modeling languages, Prolog programming, garbage collection, etc."--Publisher's description;

650 0 a| Declarative programming.;

650 0 a| Semantic networks (Information theory);

650 0 a| Programming languages (Electronic computers);

650 0 a| Programming languages (Electronic computers)x| Semantics.;

650 0 a| Programming languages (Electronic computers)x| Semanticsv| Congresses.;

650 7 a| Declarative programming.2| fast0| (OCoLC)fst00889108;

650 7 a| Programming languages (Electronic computers)2| fast0| (OCoLC)fst01078704;

650 7 a| Programming languages (Electronic computers)x| Semantics.2| fast0| (OCoLC)fst01078716;

650 7 a| Semantic networks (Information theory)2| fast0| (OCoLC)fst01112078;

650 17 a| Programmeertalen.2| gtt;

650 7 a| Programming languages (Electronic computers)x| Semanticsv| Congresses.2| nli;

650 7 a| Declarative programmingv| Congresses.2| nli;

650 7 a| Programmation déclarativex| Congrès.2| ram;

650 7 a| Langages de programmationx| Sémantiquex| Congrès.2| ram;

655 7 a| Conference papers and proceedings.2| fast0| (OCoLC)fst01423772;

700 1 a| Krishnamurthi, Shriram,e| editor.;

700 1 a| Ramakrishnan, C. R.,e| editor.;

830 0 a| Lecture notes in computer science ;v| 2257.;

856 41 3| SpringerLinku| https://doi.org/10.1007/3-540-45587-6;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2257.htmz| Restricted to Springer LINK subscribers;

856 41 u| http://link.springer.de/link/service/series/0558/tocs/t2257.htm;

856 41 u| http://link.springer.com/10.1007/3-540-45587-6z| eBook available for UOIT via SpringerLink. Click link to access;

856 42 3| Publisher descriptionu| http://catdir.loc.gov/catdir/enhancements/fy0817/2002283456-d.html;

856 4 3| Coveru| http://swbplus.bsz-bw.de/bsz096481110cov.htm;

856 4 x| LNCSu| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2257z| Connect to Internet resource;

856 41 u| http://www.link.springer.de/link/service/series/0558/tocs/t2257.htm;

938 a| Ingram Library Servicesb| INGRn| in010646820;

938 a| Baker & Taylorb| BKTYc| 69.95d| 69.95i| 354043092Xn| 0003921986s| active;

938 a| Otto Harrassowitzb| HARRn| har020002493;

938 a| YBP Library Servicesb| YANKn| 1848936;

994 a| C0b| ERE;

596 a| 1;

998 a| 884587;

999 a| QA76.7 .P32 2002w| LCc| 1i| 30372011530109d| 6/12/2022f| 2/14/2013g| 1l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 8/16/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 ; proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).

Author/creator	PADL 2002
Other author	Krishnamurthi, Shriram, editor.
Other author	Ramakrishnan, C. R., editor.
Format	Book
Publication Info	Berlin ; New York : Springer, 2002.
Description	viii, 349 pages : illustrations ; 24 cm.
Supplemental Content	SpringerLink
Supplemental Content	Restricted to Springer LINK subscribers
Supplemental Content	http://link.springer.de/link/service/series/0558/tocs/t2257.htm
Supplemental Content	eBook available for UOIT via SpringerLink. Click link to access
Supplemental Content	Publisher description
Supplemental Content	Cover
Supplemental Content	Connect to Internet resource
Supplemental Content	http://www.link.springer.de/link/service/series/0558/tocs/t2257.htm
Subjects	Declarative programming. Semantic networks (Information theory) Programming languages (Electronic computers) Programming languages (Electronic computers)--Semantics. Programming languages (Electronic computers)--Semantics. --Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 2257 Lecture notes in computer science ; 2257.
Contents	Using a Declarative Language to Build an Experimental Analysis Tool / Catherine Meadows -- How to Talk to Your Computer so that It Will Listen / Veronica Dahl -- Single-Threaded Objects in ACL2 / Robert S. Boyer and J. Strother Moore -- Modeling Engineering Structures with Constrained Objects / Bharat Jayaraman and Pallavi Tambay -- Compiler Construction in Higher Order Logic: Programming / Chuck C. Liang -- Declarative Programming and Clinical Medicine (On the Use of Gisela in the MedView Project) / Olof Torgersson -- Semantics-Based Filtering: Logic Programming's Killer App? / Gopal Gupta, Hai-Feng Guo and Arthur I. Karshmer / [and others] -- Linear Scan Register Allocation in a High-Performance Erlang Compiler / Erik Johansson and Konstantinos Sagonas -- Compiling Embedded Programs to Byte Code / Morten Rhiger -- Typed Combinators for Generic Traversal / Ralf Lammel and Joost Visser -- Event-Driven FRP / Zhanyong Wan, Walid Taha and Paul Hudak -- Adding Apples and Oranges / Martin Erwig and Margaret Burnett -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms / Peter Thiemann -- A Better XML Parser through Functional Programming / Oleg Kiselyov -- Functional Approach to Texture Generation / Jerzy Karczmarczuk -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs / John P. Gallagher and German Puebla -- A High-Level Generic Interface to External Programming Languages for ECLiPSe / Kish Shen, Joachim Schimpf and Stefano Novello / [and others] -- A Debugging Scheme for Declarative Equation Based Modeling Languages / Peter Bunus and Peter Fritzson -- Segment Order Preserving and Generational Garbage Collection for Prolog / Ruben Vandeginste, Konstantinos Sagonas and Bart Demoen -- Exploiting Efficient Control and Data Structures in Logic Programs / Rong Yang and Steve Gregory -- Suspending and Resuming Computations in Engines for SLG Evaluation / Luis F. Castro, Terrance Swift and David S. Warren.
Abstract	"This book constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002, held in Portland, OR, USA in January 2002. The 18 revised full papers presented together with three invited contributions were carefully reviewed and selected from 37 submissions. Among the topics addressed are objects, ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, texture generation, logic programming, generic programming, modeling languages, Prolog programming, garbage collection, etc."--Publisher's description
General note	Internat. conference proceedings.
Bibliography note	Includes bibliographical references and index.
Access restriction	Also available via the Internet.
Other forms	Also available via the Internet.
Genre/form	Conference papers and proceedings.
LCCN	2002283456
ISBN	354043092X (pbk.)
ISBN	9783540430926 (pbk.)
Standard identifier#	9783540430926

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.7 .P32 2002	✔ Available	Place Hold

Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 ; proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).

Click here for more information about this title

Availability