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 PreviewBuy this book
- 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)
-
-
Using a Declarative Language to Build an Experimental Analysis Tool
Pages 1-2
-
How to Talk to Your Computer so that It Will Listen
Pages 3-8
-
Single-Threaded Objects in ACL2
Pages 9-27
-
Modeling Engineering Structures with Constrained Objects
Pages 28-46
-
Compiler Construction in Higher Order Logic Programming
Pages 47-63
-
Table of contents (21 chapters)
Recommended for you
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
