Tools

LEADER 03813cam 22004694a 4500

001 ocm43287043;

003 OCoLC;

005 20141212142020.0;

008 000106s2000 gw a b 101 0 eng ;

010 a| 00020529;

015 a| GBA0-10731;

020 a| 3540669922 (alk. paper);

035 a| (Sirsi) o43287043;

035 a| (OCoLC)43287043;

042 a| pcc;

049 a| EREE;

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

072 7 a| QA2| lcco;

082 00 a| 005.13/12| 21;

111 2 a| PADL 2000d| (2000 :c| Boston, Mass.)=| ^A685324;

245 10 a| Practical aspects of declarative languages :b| second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings /c| Enrico Pontelli, Vítor Santos Costa (eds.).;

246 18 a| PADL 2000, practical aspects of declarative languages;

300 a| x, 323 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| 1753;

504 a| Includes bibliographical references and index.;

505 0 a| First class patterns / M. Tullsen -- Parallel functional reactive programming / J. Peterson, V. Trifonov, and A. Serjantov -- Out-of-core functional programming with type-based primitives / T.-R. Chuang and S.-C. Mu -- A functional logic programming approach to graphical user interfaces / M. Hanus -- Using static analysis to compile non-sequential functional logic programs / J. Mariño and J.J. Moreno-Navarro -- GNU Prolog : beyond compiling Prolog to C / D. Diaz and P. Codognet -- Heap garbage collection in XSB : practice and experience / B. Demoen and K. Sagonas -- Implementation of a linear tabling mechanism / N.-F. Zhou ... [et al.] -- How to incorporate negation in a Prolog compiler / J.J. Moreno-Navarro and S. Muñoz-Hernández -- A logic-based information system / S.P. Abreu -- HIPPO : a declarative graphical modeling system / C.J. Hinde, R.J. Reader, and K. Phelps -- Calculating a new data mining algorithm for market basket analysis / Z. Hu, W.-N. Chin, and M. Takeichi -- A toolkit for constraint-based inference engines / T.Y. Chew, M. Henz, and K.B. Ng -- -- CLIP : a CLP (intervals) dialect for metalevel constraint solving / T.J. Hickey -- Programming deep concurrent constraint combinators / C. Schulte -- Labeling and partial local consistency for soft constraint programming / S. Bistarelli ... [et al.] -- Transformation-by-example for XML / S. Krishnamurthi, K.E. Gray, and P.T. Graunke -- Modeling HTML in Haskell / P. Thiemann -- A logic programming approach to supporting the entries of XML documents in an object database / C.-L. Yeh -- A hybrid approach for solving large scale crew scheduling problems / T.H. Yunes, A.V. Moura, and C.C. de Souza -- Knowledgesheet : a graphical spreadsheet interface for interactively developing a class of constraint programs / G. Gupta and S.F. Akhter -- Current trends in logic programming : prospects and promises / I.V. Ramakrishnan -- Production-quality proof-carrying code / P. Lee.;

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

650 0 a| Declarative programmingv| Congresses.=| ^A306669;

700 1 a| Pontelli, Enrico,d| 1967-=| ^A449331;

700 1 a| Santos Costa, Vítor,d| 1961-=| ^A449332;

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

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har000759539c| 78.00 DEM;

980 a| 2000-05-03b| 56d| 2.82e| 47.04f| 275254;

596 a| 1;

998 a| 734346;

999 a| QA76.7 .P32 2000w| LCc| 1i| 30372010715685d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERp| $47.04r| Ys| Yt| JGESBKu| 5/17/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.).

Author/creator	PADL 2000
Other author	Pontelli, Enrico, 1967-
Other author	Santos Costa, Vítor, 1961-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2000.
Description	x, 323 pages : illustrations ; 24 cm.
Subjects	Programming languages (Electronic computers)--Semantics. --Congresses. Declarative programming--Congresses.

Spine title	PADL 2000, practical aspects of declarative languages
Series	Lecture notes in computer science ; 1753 Lecture notes in computer science 1753. ^A466336
Contents	First class patterns / M. Tullsen -- Parallel functional reactive programming / J. Peterson, V. Trifonov, and A. Serjantov -- Out-of-core functional programming with type-based primitives / T.-R. Chuang and S.-C. Mu -- A functional logic programming approach to graphical user interfaces / M. Hanus -- Using static analysis to compile non-sequential functional logic programs / J. Mariño and J.J. Moreno-Navarro -- GNU Prolog : beyond compiling Prolog to C / D. Diaz and P. Codognet -- Heap garbage collection in XSB : practice and experience / B. Demoen and K. Sagonas -- Implementation of a linear tabling mechanism / N.-F. Zhou ... [et al.] -- How to incorporate negation in a Prolog compiler / J.J. Moreno-Navarro and S. Muñoz-Hernández -- A logic-based information system / S.P. Abreu -- HIPPO : a declarative graphical modeling system / C.J. Hinde, R.J. Reader, and K. Phelps -- Calculating a new data mining algorithm for market basket analysis / Z. Hu, W.-N. Chin, and M. Takeichi -- A toolkit for constraint-based inference engines / T.Y. Chew, M. Henz, and K.B. Ng -- -- CLIP : a CLP (intervals) dialect for metalevel constraint solving / T.J. Hickey -- Programming deep concurrent constraint combinators / C. Schulte -- Labeling and partial local consistency for soft constraint programming / S. Bistarelli ... [et al.] -- Transformation-by-example for XML / S. Krishnamurthi, K.E. Gray, and P.T. Graunke -- Modeling HTML in Haskell / P. Thiemann -- A logic programming approach to supporting the entries of XML documents in an object database / C.-L. Yeh -- A hybrid approach for solving large scale crew scheduling problems / T.H. Yunes, A.V. Moura, and C.C. de Souza -- Knowledgesheet : a graphical spreadsheet interface for interactively developing a class of constraint programs / G. Gupta and S.F. Akhter -- Current trends in logic programming : prospects and promises / I.V. Ramakrishnan -- Production-quality proof-carrying code / P. Lee.
Bibliography note	Includes bibliographical references and index.
LCCN	00020529
ISBN	3540669922 (alk. paper)

Availability

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

Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.).

Click here for more information about this title

Availability