Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Lecture Notes in Computer Science

Practical Aspects of Declarative Languages

4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings

Editors: Krishnamurthi, Shriram, Ramakrishnan, C.R. (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-45587-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-43092-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.

Table of contents (21 chapters)

Table of contents (21 chapters)
  • Using a Declarative Language to Build an Experimental Analysis Tool

    Pages 1-2

    Meadows, Catherine

  • How to Talk to Your Computer so that It Will Listen

    Pages 3-8

    Dahl, Veronica

  • Single-Threaded Objects in ACL2

    Pages 9-27

    Boyer, Robert S. (et al.)

  • Modeling Engineering Structures with Constrained Objects

    Pages 28-46

    Jayaraman, Bharat (et al.)

  • Compiler Construction in Higher Order Logic Programming

    Pages 47-63

    Liang, Chuck C.

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-45587-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-43092-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Practical Aspects of Declarative Languages
Book Subtitle
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
Editors
  • Shriram Krishnamurthi
  • C.R. Ramakrishnan
Series Title
Lecture Notes in Computer Science
Series Volume
2257
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45587-5
DOI
10.1007/3-540-45587-6
Softcover ISBN
978-3-540-43092-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 356
Topics