Practical Aspects of Declarative Languages [electronic resource] :7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings / edited by Manuel V. Hermenegildo, Daniel Cabeza.
by Hermenegildo, Manuel V [editor.]; Cabeza, Daniel [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3350Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: VIII, 269 p. Also available online. online resource.ISBN: 9783540305576.Subject(s): Computer science | Software engineering | Logic design | Computer Science | Programming Languages, Compilers, Interpreters | Programming Techniques | Logics and Meanings of Programs | Software EngineeringDDC classification: 005.13 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| QA76.76.C65 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | QA76.7-76.73 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA8.9-QA10.3 Developments in Language Theory | QA75.5-76.95 Swarm Robotics | QA76.6-76.66 Distributed Computing and Internet Technology | QA76.7-76.73 Practical Aspects of Declarative Languages | QA75.5-76.95 Switching and Learning in Feedback Systems | QA75.5-76.95 Intelligent Information Technology | QC801-809 Polar Remote Sensing |
Invited Talks -- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis -- Specializing Narrowing for Timetable Generation: A Case Study -- Character-Based Cladistics and Answer Set Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical Hybrid Probabilistic Logic Programming Framework -- Safe Programming with Pointers Through Stateful Views -- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics -- A Provably Correct Compiler for Efficient Model Checking of Mobile Processes -- An Ordered Logic Program Solver -- Improving Memory Usage in the BEAM -- Solving Constraints on Sets of Spatial Objects -- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization -- Solving Collaborative Fuzzy Agents Problems with CLP( ) -- Improved Fusion for Optimizing Generics -- The Program Inverter LRinv and Its Structure -- A Full Pattern-Based Paradigm for XML Query Processing -- Type Class Directives.
This book constitutes the refereed proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. The 17 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 36 submissions. All current aspects of declarative programming are addressed including implementational issues and applications in areas such as database management, active networks, software engineering, decision support systems, and music composition.
There are no comments for this item.