Verónica Dahl, Philip Wadler
Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages
PADL, 2003.

@proceedings{PADL-2003,
	address       = "New Orleans, Louisiana, USA",
	editor        = "Verónica Dahl and Philip Wadler",
	isbn          = "3-540-00389-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 2562,
	year          = 2003,
}

Contents (26 items)

3 ×#functional
3 ×#logic programming
3 ×#named
2 ×#algorithm
2 ×#constraints
2 ×#database
2 ×#logic
2 ×#mining
2 ×#modelling
2 ×#programming

PADL-2003-Page #biology #database #declarative #mining

The Role of Declarative Languages in Mining Biological Databases (CDPJ), p. 1.

PADL-2003-Krishnamurthi #how

The CONTINUE Server (or, How I Administered PADL 2002 and 2003) (SK), pp. 2–16.

PADL-2003-HuetC #algorithm #performance

Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics (GPH), pp. 17–18.

PADL-2003-ClareK #data mining #functional #lazy evaluation #mining

Data Mining the Yeast Genome in a Lazy Functional Language (AC, RDK), pp. 19–36.

PADL-2003-PontelliBB #platform #reasoning

Non-monotonic Reasoning on Beowulf Platforms (EP, MB, FB), pp. 37–57.

PADL-2003-LiM #constraints #datalog #trust

DATALOG with Constraints: A Foundation for Trust Management Languages (NL, JCM), pp. 58–73.

PADL-2003-ElsmanH #programming #web

Web Programming with SMLserver (ME, NH), pp. 74–91.

PADL-2003-Porto #information management #prolog

An Integrated Information System Powered by Prolog (AP), pp. 92–109.

PADL-2003-LiuM #java #named #pattern matching

JMatch: Iterable Abstract Pattern Matching for Java (JL, ACM), pp. 110–127.

PADL-2003-Schachte #quantifier #sequence

Sequence Quantification (PS), pp. 128–144.

PADL-2003-Mogensen #specification

Roll : A Language for Specifying Die-Rolls (TÆM), pp. 145–159.

PADL-2003-ErdemLNR #programming #set #using

Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming (EE, VL, LN, DR), pp. 160–176.

PADL-2003-Sampath #multi

Multi-agent Reactive Systems (PS), pp. 177–193.

PADL-2003-Davila #named

ACTILOG: An Agent Activation Language (JAD), pp. 194–207.

PADL-2003-BarceloB #consistency #database #logic programming #query #source code

Logic Programs for Querying Inconsistent Databases (PB, LEB), pp. 208–222.

PADL-2003-TomasL #generative

A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises (APT, JPL), pp. 223–240.

PADL-2003-DellAcquaP #framework #logic #modelling

A Logical Framework for Modelling eMAS (PD, LMP), pp. 241–255.

PADL-2003-KiselyovK #named #xml

SXSLT: Manipulation Language for XML (OK, SK), pp. 256–272.

PADL-2003-CoelhoF #logic programming #type system #xml

Type-Based XML Processing in Logic Programming (JC, MF), pp. 273–285.

PADL-2003-FerreiraD #analysis

WAM Local Analysis (MF, LD), pp. 286–303.

PADL-2003-ZhouT #algorithm #garbage collection #prolog

Garbage Collection Algorithms for Java-Based Prolog Engines (QZ, PT), pp. 304–319.

PADL-2003-FernandezHS #combinator #constraints #functional #logic #problem

Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.

PADL-2003-HillS #logic programming #source code

Logic Programs as Compact Denotations (PMH, FS), pp. 339–356.

PADL-2003-LammelV

A Strafunski Application Letter (RL, JV), pp. 357–375.

PADL-2003-NilssonPH #functional #hybrid #modelling

Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.

PADL-2003-GuliasAS

λ Goes to Hollywood (VMG, CA, JJS), pp. 391–407.