Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Programming and Software Engineering

Language Engineering and Rigorous Software Development

International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Editors: Bove, A., Barbosa, L.S., Pardo, A., Pinto, J.S. (Eds.)

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-642-03153-3
  • 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-642-03152-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008.

The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume.

Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.

Table of contents (6 chapters)

  • Introduction to Type Theory

    Geuvers, Herman

    Pages 1-56

  • Dependent Types at Work

    Bove, Ana (et al.)

    Pages 57-99

  • A Tutorial on Type-Based Termination

    Barthe, Gilles (et al.)

    Pages 100-152

  • Structural Abstract Interpretation: A Formal Study Using Coq

    Bertot, Yves

    Pages 153-194

  • Extended Static Checking by Calculation Using the Pointfree Transform

    Oliveira, José N.

    Pages 195-251

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-642-03153-3
  • 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-642-03152-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Language Engineering and Rigorous Software Development
Book Subtitle
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Editors
  • Ana Bove
  • Luis Soares Barbosa
  • Alberto Pardo
  • Jorge Sousa Pinto
Series Title
Programming and Software Engineering
Series Volume
5520
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-03153-3
DOI
10.1007/978-3-642-03153-3
Softcover ISBN
978-3-642-03152-6
Edition Number
1
Number of Pages
IX, 301
Topics