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

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

by Kostis Sagonas (Editor)

Paperback(2013)

$54.99
Choose Expedited Shipping at checkout for guaranteed delivery by Tuesday, April 30

Product Details

ISBN-13: 9783642452833
Publisher: Springer Berlin Heidelberg
Publication date: 11/16/2013
Series: Lecture Notes in Computer Science , #7752
Edition description: 2013
Pages: 261
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews