Coverart for item
The Resource Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings, I.V. Ramakrishnan (ed.)

Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings, I.V. Ramakrishnan (ed.)

Label
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
Title
Practical aspects of declarative languages
Title remainder
third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
Statement of responsibility
I.V. Ramakrishnan (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001. The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking
Member of
Cataloging source
COO
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.7
LC item number
.P32 2001
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
PADL 2001
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Ramakrishnan, I. V
Series statement
Lecture notes in computer science
Series volume
1990
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
  • Programmeertalen
Label
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings, I.V. Ramakrishnan (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
47522845
Dimensions
unknown
Extent
1 online resource (vii, 351 pages)
Form of item
online
Isbn
9783540452416
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45241-9
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)47522845
Label
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings, I.V. Ramakrishnan (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
47522845
Dimensions
unknown
Extent
1 online resource (vii, 351 pages)
Form of item
online
Isbn
9783540452416
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45241-9
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)47522845

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...