Coverart for item
The Resource Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings, by I. V. Ramakrishnan, (electronic book)

Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings, by I. V. Ramakrishnan, (electronic book)

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
by I. V. Ramakrishnan
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
UkLiU
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
PADL 2001
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Ramakrishnan, I. V
http://library.link/vocab/subjectName
Programming languages (Electronic computers)
Label
Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings, by I. V. Ramakrishnan, (electronic book)
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Form of item
electronic
Isbn
9783540417682
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reproduction note
Electronic resource.
Specific material designation
remote
Label
Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings, by I. V. Ramakrishnan, (electronic book)
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Form of item
electronic
Isbn
9783540417682
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reproduction note
Electronic resource.
Specific material designation
remote

Library Locations

Processing Feedback ...