Lecture Notes in Computer Science
cover

Functional and Logic Programming

5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings

Editors: Kuchen, Herbert, Ueda, Kazunori (Eds.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-44716-0
  • 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-41739-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • The Metalanguage λprolog and Its Implementation

    Nadathur, Gopalan

    Pages 1-20

  • A Scalable Architecture for Proof-Carrying Code

    Necula, George C.

    Pages 21-39

  • Parameterized Logic Programs where Computing Meets Learning

    Sato, Taisuke

    Pages 40-60

  • Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

    Polakow, Jeff (et al.)

    Pages 61-77

  • A Higher-Order Colon Translation

    Danvy, Olivier (et al.)

    Pages 78-91

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-44716-0
  • 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-41739-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Functional and Logic Programming
Book Subtitle
5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
Editors
  • Herbert Kuchen
  • Kazunori Ueda
Series Title
Lecture Notes in Computer Science
Series Volume
2024
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44716-0
DOI
10.1007/3-540-44716-4
Softcover ISBN
978-3-540-41739-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 398
Topics