Konstantinos F. Sagonas
Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages
PADL, 2013.

@proceedings{PADL-2013,
	address       = "Rome, Italy",
	doi           = "10.1007/978-3-642-45284-0",
	editor        = "Konstantinos F. Sagonas",
	isbn          = "978-3-642-45283-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 7752,
	year          = 2013,
}

Contents (17 items)

4 ×#implementation
4 ×#logic programming
3 ×#declarative
3 ×#functional
3 ×#named
3 ×#performance
2 ×#database
2 ×#using
2 ×#web

PADL-2013-KlintP #2d #declarative #independence #library

A Library for Declarative Resolution-Independent 2D Graphics (PK, AvdP), pp. 1–18.

PADL-2013-GiorgidzeGHK #database #haskell #wiki

Analysing the Entire Wikipedia History with Database Supported Haskell (GG, TG, IH, MK), pp. 19–25.

PADL-2013-CastroMM #java #logic programming #named

LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis (SC, KM, PM), pp. 26–42.

PADL-2013-RodriguesASF #abstraction #analysis #composition #declarative #multi #using

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction (VR, BA, SMdS, MF), pp. 43–59.

PADL-2013-GuzmanCH

Supporting Pruning in Tabled LP (PCdG, MC, MVH), pp. 60–76.

PADL-2013-Moura #implementation #induction #logic programming #performance

A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.

PADL-2013-Aranda-LopezNSS #formal method #recursion #sql

Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.

PADL-2013-CanouCB #api #documentation #web

A Declarative-Friendly API for Web Document Manipulation (BC, EC, VB), pp. 109–124.

PADL-2013-BrasselHPR #constraints #equation #functional #implementation

Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.

PADL-2013-0004R #implementation #on the #performance

On the Efficient Implementation of Mode-Directed Tabling (JS, RR), pp. 141–156.

PADL-2013-FourtounisPR #functional #implementation #lazy evaluation

The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.

PADL-2013-LiangK #automation #logic programming #named #scalability #source code

Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs (SL, MK), pp. 173–189.

PADL-2013-AngelopoulosCAWCW #functional #logic programming #statistics

Integrative Functional Statistics in Logic Programming (NA, VSC, JA, JW, RC, LW), pp. 190–205.

PADL-2013-DreyMHC #debugging

Reversible Language Extensions and Their Application in Debugging (ZD, JFM, MVH, MC), pp. 206–221.

PADL-2013-CanisiusAW #database #interface #named #prolog

proSQLite: Prolog File Based Databases via an SQLite Interface (SC, NA, LW), pp. 222–227.

PADL-2013-Jeffrey #html #web

Dependently Typed Web Client Applications — FRP in Agda in HTML5 (AJ), pp. 228–243.

PADL-2013-MachadoAD #declarative #parallel #performance #programming #using

Parallel Performance of Declarative Programming Using a PGAS Model (RM, SA, DD), pp. 244–260.