Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.