http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Practical aspects of declarative languages
second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings
1 online resource (x, 323 pages) : illustrations
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.
Enrico Pontelli, Vítor Santos Costa (ed.).
Includes bibliographical references and index.
Programming languages (Electronic computers)
Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings
Lecture notes in computer science ; 1753