Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hermenegildo, Manuel (Editor ), Cabeza, Daniel (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3350
Temas:
Compilers (Computer programs).
Computer programming.
Computer science.
Software engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares