I. V. Ramakrishnan
Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
PADL, 2001.

@proceedings{PADL-2001,
	address       = "Las Vegas, Nevada, USA",
	editor        = "I. V. Ramakrishnan",
	isbn          = "3-540-41768-0",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 1990,
	year          = 2001,
}

Contents (23 items)

5 ×#programming
4 ×#constraints
4 ×#logic programming
4 ×#prolog
3 ×#using
3 ×#web
2 ×#database
2 ×#declarative
2 ×#generative
2 ×#implementation

PADL-2001-Ramakrishnan #calculus #logic programming #model checking #using #μ-calculus

A Model Checker for Value-Passing μ-Calculus Using Logic Programming (CRR), pp. 1–13.

PADL-2001-Leuschel #csp #design #implementation #prolog #specification

Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog (ML), pp. 14–28.

PADL-2001-Courtney #functional #java #named #programming

Frappé: Functional Reactive Programming in Java (AC), pp. 29–44.

PADL-2001-BrogiC #declarative #programming

From Subject Directories to Subject Meta-directories via Declarative Programming (AB, GC), pp. 45–59.

PADL-2001-BaldoniBCP #logic #programming #using #web

Programming Goal-Driven Web Sites Using an Agent Logic Language (MB, CB, AC, VP), pp. 60–75.

PADL-2001-Hanus #web

High-Level Server Side Web Scripting in Curry (MH), pp. 76–92.

PADL-2001-GuptaT #generative #logic programming #web

Logic Programming Techniques for Dynamic VRML Web Content Generation (AG, PT), pp. 93–107.

PADL-2001-BellaB #analysis #constraints #protocol #security

Soft Constraints for Security Protocol Analysis: Confidentiality (GB, SB), pp. 108–122.

PADL-2001-Barker #database #deduction

Secure Deductive Databases (SB), pp. 123–137.

PADL-2001-Cirstea #authentication #protocol #specification #using

Specifying Authentication Protocols Using Rewriting and Strategies (HC), pp. 138–152.

PADL-2001-IglesiasGPRM #approach #logic programming #tool support

Interoperability between Bioinformatics Tools: A Logic Programming Approach (JRI, GG, EP, DR, BM), pp. 153–168.

PADL-2001-NogueiraBGWB #prolog

An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.

PADL-2001-DentiOR #internet #prolog

tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures (ED, AO, AR), pp. 184–198.

PADL-2001-LopesCS #implementation #novel

A Novel Implementation of the Extended Andorra Model (RL, VSC, FMAS), pp. 199–213.

PADL-2001-Decker #sql

Soundcheck for SQL (HD), pp. 214–228.

PADL-2001-FlenerHK #compilation #constraints #programming

Compiling High-Level Type Constructors in Constraint Programming (PF, BH, ZK), pp. 229–244.

PADL-2001-MukhopadhyayP #constraints #database #modelling #similarity

Constraint Database Models Characterizing Timed Bisimilarity (SM, AP), pp. 245–258.

PADL-2001-RaffaetaF #constraints #logic programming

Spatio-temporal Annotated Constraint Logic Programming (AR, TWF), pp. 259–273.

PADL-2001-FlenerHK01a #metaheuristic #problem #set

A Meta-heuristic for Subset Problems (PF, BH, ZK), pp. 274–287.

PADL-2001-PontelliE #optimisation #parallel #programming #set

Construction and Optimization of a Parallel Engine for Answer Set Programming (EP, OEK), pp. 288–303.

PADL-2001-PetersonHRH #declarative #named #visual notation

FVision: A Declarative Language for Visual Tracking (JP, PH, AR, GDH), pp. 304–321.

PADL-2001-TyagiT #algorithm #interface #prolog

A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces (ST, PT), pp. 322–336.

PADL-2001-Kaser #generative #model checking

State Generation in the PARMC Model Checker (OK), pp. 337–352.