| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a22000004a 4500 |
| 001 |
in00003514799 |
| 006 |
m o d |
| 007 |
cr |n||||||||| |
| 008 |
000106s2000 gw a ob 101 0 eng c |
| 005 |
20260422200544.7 |
| 019 |
|
|
|a 685362707
|
| 020 |
|
|
|a 3540669922 (alk. paper)
|
| 020 |
|
|
|a 9783540669920 (alk. paper)
|
| 035 |
|
|
|a (OCoLC)619653982
|z (OCoLC)685362707
|
| 040 |
|
|
|a COO
|b eng
|c COO
|d EXW
|d OCLCQ
|d YNG
|d OCLCQ
|d OCLCF
|d OCLCO
|d UtOrBLW
|
| 042 |
|
|
|a pcc
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA76.7
|b P32 2000
|
| 082 |
0 |
4 |
|a 005.13/1
|2 21
|
| 111 |
2 |
|
|a PADL 2000
|d (2000 :
|c Boston, Mass.)
|
| 245 |
1 |
0 |
|a Practical aspects of declarative languages :
|b second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings /
|c Enrico Pontelli, Vítor Santos Costa (ed.).
|
| 264 |
|
1 |
|a Berlin ;
|a New York :
|b Springer,
|c 2000.
|
| 300 |
|
|
|a 1 online resource (x, 323 pages) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 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. Mariñ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. Muñoz-Herná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.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|x Semantics
|v Congresses.
|
| 650 |
|
0 |
|a Declarative programming
|v Congresses.
|
| 650 |
|
7 |
|a Declarative programming.
|2 fast
|0 (OCoLC)fst00889108
|
| 650 |
|
7 |
|a Programming languages (Electronic computers)
|x Semantics.
|2 fast
|0 (OCoLC)fst01078716
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 655 |
|
7 |
|a Conference proceedings.
|2 fast
|0 (OCoLC)fst01423772
|
| 700 |
1 |
|
|a Pontelli, Enrico,
|d 1967-
|
| 700 |
1 |
|
|a Santos Costa, Vítor,
|d 1961-
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 776 |
1 |
|
|a PADL 2000 (2000 : Boston, Mass.)
|t Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings
|w (OCoLC)43287043
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 1753.
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/3-540-46584-7
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s ad993622-261d-3ea1-92f6-4295ad115db7
|i 95d6058a-2f9b-3f23-81bf-38823849dc43
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA76.7 P32 2000
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.7 P32 2000
|t 0
|l Available Online
|