Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1490)
Included in the following conference series:
- PLILP: International Symposium on Programming Language Implementation and Logic Programming
- ALP: International Conference on Algebraic and Logic Programming
Conference proceedings info: PLILP 1998, ALP 1998.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object oriented programming, term rewriting, functional programming, metaprogramming, optimal evaluation, integration, and constraint solving.
Keywords
Table of contents (31 papers)
Other volumes
-
Principles of Declarative Programming
-
Principles of Declarative Programming
Bibliographic Information
Book Title: Principles of Declarative Programming
Book Subtitle: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings
Editors: Catuscia Palamidessi, Hugh Glaser, Karl Meinke
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0056603
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1998
Softcover ISBN: 978-3-540-65012-6Published: 02 September 1998
eBook ISBN: 978-3-540-49766-0Published: 29 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 504
Topics: Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Programming Techniques, Mathematical Logic and Formal Languages, Artificial Intelligence