Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
PADL 2005Corporate Author
PADL 2005(2005 :Long Beach, Calif.)
Hermenegildo, Manuel.editor.
Cabeza, Daniel.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Software engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Software Engineering.

Lecture Notes in Computer Science