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 59,49 €
price for Spain (gross)
  • 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 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-03152-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Preview Buy Chapter 30,19 €
  • Dependent Types at Work

    Bove, Ana (et al.)

    Pages 57-99

    Preview Buy Chapter 30,19 €
  • A Tutorial on Type-Based Termination

    Barthe, Gilles (et al.)

    Pages 100-152

    Preview Buy Chapter 30,19 €
  • Structural Abstract Interpretation: A Formal Study Using Coq

    Bertot, Yves

    Pages 153-194

    Preview Buy Chapter 30,19 €
  • Extended Static Checking by Calculation Using the Pointfree Transform

    Oliveira, José N.

    Pages 195-251

    Preview Buy Chapter 30,19 €

Buy this book

eBook 59,49 €
price for Spain (gross)
  • 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 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-03152-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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