Data Portal @ linkeddatafragments.org

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

• catalog abstract "Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.".
• catalog alternative "PADL 2002".
• catalog contributor b12510979.
• catalog contributor b12510980.
• catalog contributor b12510981.
• catalog contributor b12510982.
• catalog created "2002.".
• catalog date "2002".
• catalog date "2002.".
• catalog dateCopyrighted "2002.".
• catalog description "Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Invited Talks -- Using a Declarative Language to Build an Experimental Analysis Tool -- How to Talk to Your Computer so that It Will Listen -- Single-Threaded Objects in ACL2 -- Regular Papers -- Modeling Engineering Structures with Constrained Objects -- Compiler Construction in Higher Order Logic Programming -- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project -- Semantics-Based Filtering: Logic Programming’s Killer App -- Linear Scan Register Allocation in a High-Performance Erlang Compiler -- Compiling Embedded Programs to Byte Code -- Typed Combinators for Generic Traversal -- Event-Driven FRP -- Adding Apples and Oranges -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms -- A Better XML Parser through Functional Programming -- Functional Approach to Texture Generation -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs -- A High-Level Generic Interface to External Programming Languages for ECLiPSe -- A Debugging Scheme for Declarative Equation Based Modeling Languages -- Segment Order Preserving and Generational Garbage Collection for Prolog -- Exploiting E.cient Control and Data Structures in Logic Programs -- Suspending and Resuming Computations in Engines for SLG Evaluation.".
• catalog extent "viii, 349 p. :".
• catalog identifier "354043092X".
• catalog isPartOf "Lecture notes in computer science 0302-9743 ; 2257".
• catalog issued "2002".
• catalog issued "2002.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.131 21".
• catalog subject "Computer science.".
• catalog subject "Declarative programming.".
• catalog subject "Logic design.".
• catalog subject "Programming languages (Electronic computers) Semantics Congresses.".
• catalog subject "Programming languages (Electronic computers) Semantics.".
• catalog subject "Programming languages (Electronic computers)".
• catalog subject "QA76.7 .P32 2002".
• catalog subject "Semantic networks (Information theory)".
• catalog subject "Software engineering.".
• catalog tableOfContents "Invited Talks -- Using a Declarative Language to Build an Experimental Analysis Tool -- How to Talk to Your Computer so that It Will Listen -- Single-Threaded Objects in ACL2 -- Regular Papers -- Modeling Engineering Structures with Constrained Objects -- Compiler Construction in Higher Order Logic Programming -- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project -- Semantics-Based Filtering: Logic Programming’s Killer App -- Linear Scan Register Allocation in a High-Performance Erlang Compiler -- Compiling Embedded Programs to Byte Code -- Typed Combinators for Generic Traversal -- Event-Driven FRP -- Adding Apples and Oranges -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms -- A Better XML Parser through Functional Programming -- Functional Approach to Texture Generation -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs -- A High-Level Generic Interface to External Programming Languages for ECLiPSe -- A Debugging Scheme for Declarative Equation Based Modeling Languages -- Segment Order Preserving and Generational Garbage Collection for Prolog -- Exploiting E.cient Control and Data Structures in Logic Programs -- Suspending and Resuming Computations in Engines for SLG Evaluation.".
• catalog title "PADL 2002".
• catalog title "Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).".
• catalog type "text".