Practical aspects of declarative languages second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings

• Autor: PADL '2000 (2000 Boston, Mass.)
• Enrico Pontelli 1967-; Vítor Santos Costa 1961-
• Assuntos: Programming languages (Electronic computers) -- Semantics -- Congresses; Declarative programming -- Congresses; LINGUAGEM DE PROGRAMAÇÃO; TÉCNICAS DE PROGRAMAÇÃO
• Notas: Includes bibliographical references and index
  
• Descrição: 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 functi onal logicprogramming 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 Pro log 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 min ing 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 constraintcombinators / 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 sol ving 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-qualityproof-carrying code / P. Lee
  
• Títulos relacionados: Série:Lecture notes in computer science 1753
• Editor: Berlin New York Springer
  
• Data de criação/publicação: c2000
  
• Formato: x, 323 p. ill. 24 cm.
  
• Idioma: Inglês