Programming and Software Engineering

Functional and Logic Programming

9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Editors: Garrigue, Jacques, Hermenegildo, Manuel (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-78969-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-78968-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (21 chapters)

  • Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

    Schaub, Torsten

    Pages 1-2

  • On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory

    Abel, Andreas (et al.)

    Pages 3-13

  • Substructural Type Systems for Program Analysis

    Kobayashi, Naoki

    Pages 14-14

  • Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base

    Julien, Nicolas

    Pages 48-63

  • Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)

    Kiselyov, Oleg (et al.)

    Pages 64-80

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-78969-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-78968-0
  • 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
9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Editors
  • Jacques Garrigue
  • Manuel Hermenegildo
Series Title
Programming and Software Engineering
Series Volume
4989
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-78969-7
DOI
10.1007/978-3-540-78969-7
Softcover ISBN
978-3-540-78968-0
Edition Number
1
Number of Pages
XI, 340
Topics