Springer celebrates 175 years of publishing excellence! Join us >>

Theoretical Computer Science and General Issues

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Editors: Filliatre, Jean-Christophe, Paulin-Mohring, Christine, Werner, Benjamin (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-31429-5
  • 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-31428-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (17 chapters)

  • Formalized Metatheory with Terms Represented by an Indexed Family of Types

    Adams, Robin

    Pages 1-16

  • A Content Based Mathematical Search Engine: Whelp

    Asperti, Andrea (et al.)

    Pages 17-32

  • A Machine-Checked Formalization of the Random Oracle Model

    Barthe, Gilles (et al.)

    Pages 33-49

  • Extracting a Normalization Algorithm in Isabelle/HOL

    Berghofer, Stefan

    Pages 50-65

  • A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

    Bertot, Yves (et al.)

    Pages 66-81

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-31429-5
  • 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-31428-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Types for Proofs and Programs
Book Subtitle
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Editors
  • Jean-Christophe Filliatre
  • Christine Paulin-Mohring
  • Benjamin Werner
Series Title
Theoretical Computer Science and General Issues
Series Volume
3839
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31429-5
DOI
10.1007/11617990
Softcover ISBN
978-3-540-31428-8
Edition Number
1
Number of Pages
VIII, 280
Topics