Practical Aspects of Declarative Languages Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings / edited by I.V. Ramakrishnan.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ramakrishnan, I.V (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:	1st ed. 2001.
Series:	Lecture Notes in Computer Science, 1990 Springer eBook Collection.
Subjects:	Programming languages (Electronic computers). Software engineering. Computer logic. Computer programming. Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog
Frappé: Functional Reactive Programming in Java
From Subject Directories to Subject Meta-directories via Declarative Programming
Programming Goal-Driven Web Sites Using an Agent Logic Language
High-Level Server Side Web Scripting in Curry
Logic Programming Techniques for Dynamic VRML Web Content Generation
Soft Constraints for Security Protocol Analysis: Confidentiality
Secure Deductive Databases
Specifying Authentication Protocols Using Rewriting and Strategies
Interoperability between Bioinformatics Tools: A Logic Programming Approach
An A-Prolog Decision Support System for the Space Shuttle
tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures
A Novel Implementation of the Extended Andorra Model
Soundcheck for SQL
Compiling High-Level Type Constructors in Constraint Programming
Constraint Database Models Characterizing Timed Bisimilarity
Spatio-temporal Annotated Constraint Logic Programming
A Meta-heuristic for Subset Problems
Construction and Optimization of a Parallel Engine for Answer Set Programming
FVision: A Declarative Language for Visual Tracking
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces
State Generation in the PARMC Model Checker.

Similar Items