Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presente...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Sagonas, Kostis (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Programming and Software Engineering, 7752
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:
  • A Library for Declarative Resolution-Independent 2D Graphics
  • Analysing the Entire Wikipedia History with Database Supported Haskell
  • LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis
  • A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
  • Supporting Pruning in Tabled LP
  • A Portable and Efficient Implementation of Coinductive Logic Programming
  • Formalizing a Broader Recursion Coverage in SQL
  • A Declarative-Friendly API for Web Document Manipulation
  • Implementing Equational Constraints in a Functional Language
  • On the Efficient Implementation of Mode-Directed Tabling
  • The Generalized Intensional Transformation for Implementing Lazy Functional Languages
  • Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs
  • Integrative Functional Statistics in Logic Programming
  • Reversible Language Extensions and Their Application in Debugging
  • proSQLite: Prolog File Based Databases via an SQLite Interface
  • Dependently Typed Web Client Applications: FRP in Agda in HTML5
  • Parallel Performance of Declarative Programming Using a PGAS Model.

Ejemplares similares