1 option
Practical Aspects of Declarative Languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / edited by Manuel Hermenegildo, Daniel Cabeza.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 3350.
- Programming and Software Engineering ; 3350
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Computer programming.
- Computer logic.
- Software engineering.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Logics and Meanings of Programs.
- Software Engineering.
- Local Subjects:
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Logics and Meanings of Programs.
- Software Engineering.
- Physical Description:
- 1 online resource (VIII, 272 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-30557-6
- 9783540305576
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.