Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gupta, Gopal (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1551
• Θέματα: Programming languages (Electronic computers).; Software engineering.; Computer logic.; Artificial intelligence.; Programming Languages, Compilers, Interpreters.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Artificial Intelligence.

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums d...

Πίνακας περιεχομένων:

• 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.