Lecture Notes in Computer Science

Practical Aspects of Declarative Languages

Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings

Editors: Ramakrishnan, I.V. (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-540-45241-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $109.00
price for USA in USD

Table of contents (23 chapters)

Table of contents (23 chapters)
  • A Model Checker for Value-Passing Mu-Calculus Using Logic Programming

    Pages 1-13

    Ramakrishnan, C. R.

  • Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog

    Pages 14-28

    Leuschel, Michael

  • FrappĂ©: Functional Reactive Programming in Java

    Pages 29-44

    Courtney, Antony

  • From Subject Directories to Subject Meta-directories via Declarative Programming

    Pages 45-59

    Brogi, Antonio (et al.)

  • Programming Goal-Driven Web Sites Using an Agent Logic Language

    Pages 60-75

    Baldoni, Matteo (et al.)

Buy this book

eBook $84.99
price for USA in USD
  • ISBN 978-3-540-45241-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $109.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Practical Aspects of Declarative Languages
Book Subtitle
Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings
Editors
  • I.V. Ramakrishnan
Series Title
Lecture Notes in Computer Science
Series Volume
1990
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45241-6
DOI
10.1007/3-540-45241-9
Softcover ISBN
978-3-540-41768-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 352
Topics