Harvard |

Harvard

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

Showing items 1 to 34 of 34 with 100 items per page.

catalog abstract "This book constitutes the refereed proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL'99, held in San Antonio, Texas, USA in January 1999. The 24 revised full papers presented were carefully reviewed and selected from a total of 53 submissions; also included are abstracts of two invited talks. The papers are organized in topical sections on software engineering, innovative applications, implementation, declarative query processing, systems applications, analysis, constraint programming, and declarative languages and software engineering.".
catalog contributor b11142267.
catalog contributor b11142268.
catalog created "c1999.".
catalog date "1999".
catalog date "c1999.".
catalog dateCopyrighted "c1999.".
catalog description "Includes bibliographical references and index.".
catalog description "Software Engineering -- Automated Benchmarking of Functional Data Structures -- np-spec: An Executable Specification Language for Solving All Problems in NP -- Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program -- Multi-agent Systems Development as a Software Engineering Enterprise -- Innovative Applications I -- From Functional Animation to Sprite-Based Display -- Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators -- Lambda in Motion: Controlling Robots with Haskell -- Implementation -- CHAT: The Copy-Hybrid Approach to Tabling -- The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems -- Or-Parallelism within Tabling -- Declarative Query Processing -- Mnesia — A Distributed Robust DBMS for Telecommunications Applications -- An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language -- Implementing a Declarative String Query Language with String Restructuring -- Systems Applications -- Client-Side Web Scripting with HaskellScript -- MCORBA: A CORBA Binding for Mercury -- Analysis -- Dead Code Elimination through Dependent Types -- Multiple Specialization of WAM Code -- A Flexible Framework for Dynamic and Static Slicing of Logic Programs -- Innovative Applications II -- Applying Logic Programming to Derive Novel Functional Information of Genomes -- An Application of Action Theory to the Space Shuttle -- Developing a Declarative Rule Language for Applications in Product Configuration -- Constraint Programming -- University Timetabling Using Constraint Logic Programming -- Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing -- Using Constraints in Local Proofs for CLP Debugging -- Declarative Languages and Software Engineering (Invited) -- A Return to Elegance: The Reapplication of Declarative Notation to Software Design -- ECLiPSe: Declarative Specification and Scaleable Implementation.".
catalog description "This book constitutes the refereed proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL'99, held in San Antonio, Texas, USA in January 1999. The 24 revised full papers presented were carefully reviewed and selected from a total of 53 submissions; also included are abstracts of two invited talks. The papers are organized in topical sections on software engineering, innovative applications, implementation, declarative query processing, systems applications, analysis, constraint programming, and declarative languages and software engineering.".
catalog extent "viii, 366 p. :".
catalog hasFormat "Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings".
catalog hasFormat "Practical aspects of declarative languages.".
catalog identifier "3540655271 (pbk. : alk. paper)".
catalog isFormatOf "Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings".
catalog isFormatOf "Practical aspects of declarative languages.".
catalog isPartOf "Lecture notes in computer science ; 1551".
catalog issued "1999".
catalog issued "c1999.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog relation "Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings".
catalog relation "Practical aspects of declarative languages.".
catalog subject "005.13/1 21".
catalog subject "Artificial intelligence.".
catalog subject "Computer science.".
catalog subject "Logic design.".
catalog subject "Programming languages (Electronic computers) Semantics Congresses.".
catalog subject "QA76.7 .P32 1999".
catalog subject "Software engineering.".
catalog tableOfContents "Software Engineering -- Automated Benchmarking of Functional Data Structures -- np-spec: An Executable Specification Language for Solving All Problems in NP -- Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program -- Multi-agent Systems Development as a Software Engineering Enterprise -- Innovative Applications I -- From Functional Animation to Sprite-Based Display -- Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators -- Lambda in Motion: Controlling Robots with Haskell -- Implementation -- CHAT: The Copy-Hybrid Approach to Tabling -- The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems -- Or-Parallelism within Tabling -- Declarative Query Processing -- Mnesia — A Distributed Robust DBMS for Telecommunications Applications -- An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language -- Implementing a Declarative String Query Language with String Restructuring -- Systems Applications -- Client-Side Web Scripting with HaskellScript -- MCORBA: A CORBA Binding for Mercury -- Analysis -- Dead Code Elimination through Dependent Types -- Multiple Specialization of WAM Code -- A Flexible Framework for Dynamic and Static Slicing of Logic Programs -- Innovative Applications II -- Applying Logic Programming to Derive Novel Functional Information of Genomes -- An Application of Action Theory to the Space Shuttle -- Developing a Declarative Rule Language for Applications in Product Configuration -- Constraint Programming -- University Timetabling Using Constraint Logic Programming -- Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing -- Using Constraints in Local Proofs for CLP Debugging -- Declarative Languages and Software Engineering (Invited) -- A Return to Elegance: The Reapplication of Declarative Notation to Software Design -- ECLiPSe: Declarative Specification and Scaleable Implementation.".
catalog title "Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.).".
catalog type "Conference proceedings. fast".
catalog type "text".