Practical Aspects of Declarative Languages: Third...

Main
Education Studies & Teaching - International Conferences and Symposiums
Practical Aspects of Declarative...

Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings

Name: Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings
ISBN: 9783540417682

C. R. Ramakrishnan (auth.), I. V. Ramakrishnan (eds.)

0 / 0

0 comments

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

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.

Categories:

Education Studies & Teaching - International Conferences and Symposiums

Year:

2001

Edition:

Publisher:

Springer-Verlag Berlin Heidelberg

Language:

english

Pages:

352

ISBN 10: