Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008363667/catalog> ?p ?o. }

• catalog abstract "This volumecontainsthepaperspresentedattheSecondWorkshoponthePr- tical Applications of Declarative Languages (PADL’00) held in Boston, MA, USA, January 17{18, 2000. PADL’00 was co-located with the 27th ACM C- ference on the Principles of ProgrammingLanguages(POPL’00). The event was organized by COMPULOG AMERICAS. Declarativelanguagesbuildonasoundtheoreticalbasisto provideattractive frameworksfor application development. Indeed, these languages havebeen s- cessfully applied to vastly di erent real-worldsituations, ranging from data base management to active networks to software engineering to decision support s- tems, to mention a few examples. One major strength of declarative languages lies in the way work on e cient implementation has allowed programmers to take advantage of their strong theoretical foundations. In fact, new devel- ments in theory and implementation often open up new application areas. On the other hand, as declarative languages are applied to novel problems, a n- ber of interesting research issues arise. Well-known issues include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications are both a cause for and bene t from progress in the theory and implementation of declarative systems. The goal of the International Workshop on Practical Aspects of Declarative Languages (PADL) series is to provide a forum where researchers, practiti- ers, and implementors of declarative languages may exchange ideas on current and novel application areas and on the requirements for eectiv e deployment of declarative systems. This volume contains the proceedings of the year 2000 workshop, held in Boston, Massachusetts, January 17{18, 2000. Thirty-six - persweresubmittedinresponsetothecallforpapers.".
• catalog contributor b11646567.
• catalog contributor b11646568.
• catalog contributor b11646569.
• catalog created "2000.".
• catalog date "2000".
• catalog date "2000.".
• catalog dateCopyrighted "2000.".
• catalog description "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 [and others] -- 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 [and others] -- 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.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This volumecontainsthepaperspresentedattheSecondWorkshoponthePr- tical Applications of Declarative Languages (PADL’00) held in Boston, MA, USA, January 17{18, 2000. PADL’00 was co-located with the 27th ACM C- ference on the Principles of ProgrammingLanguages(POPL’00). The event was organized by COMPULOG AMERICAS. Declarativelanguagesbuildonasoundtheoreticalbasisto provideattractive frameworksfor application development. Indeed, these languages havebeen s- cessfully applied to vastly di erent real-worldsituations, ranging from data base management to active networks to software engineering to decision support s- tems, to mention a few examples. One major strength of declarative languages lies in the way work on e cient implementation has allowed programmers to take advantage of their strong theoretical foundations. In fact, new devel- ments in theory and implementation often open up new application areas. On the other hand, as declarative languages are applied to novel problems, a n- ber of interesting research issues arise. Well-known issues include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications are both a cause for and bene t from progress in the theory and implementation of declarative systems. The goal of the International Workshop on Practical Aspects of Declarative Languages (PADL) series is to provide a forum where researchers, practiti- ers, and implementors of declarative languages may exchange ideas on current and novel application areas and on the requirements for eectiv e deployment of declarative systems. This volume contains the proceedings of the year 2000 workshop, held in Boston, Massachusetts, January 17{18, 2000. Thirty-six - persweresubmittedinresponsetothecallforpapers.".
• catalog extent "x, 323 p. :".
• catalog identifier "3540669922 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1753".
• catalog issued "2000".
• catalog issued "2000.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.13/1 21".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer science.".
• catalog subject "Declarative programming Congresses.".
• catalog subject "Logic design.".
• catalog subject "Programming languages (Electronic computers) Semantics Congresses.".
• catalog subject "QA76.7. P32 2000".
• catalog subject "Software engineering.".
• catalog tableOfContents "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 [and others] -- 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 [and others] -- 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.".
• catalog title "Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (ed.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".