Language Engineering and Rigorous Software Development

International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

  • Ana Bove
  • Luís Soares Barbosa
  • Alberto Pardo
  • Jorge Sousa Pinto
Textbook LerNet 2008

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5520)

Table of contents

  1. Front Matter
  2. Herman Geuvers
    Pages 1-56
  3. Ana Bove, Peter Dybjer
    Pages 57-99
  4. Gilles Barthe, Benjamin Grégoire, Colin Riba
    Pages 100-152
  5. S. Doaitse Swierstra
    Pages 252-300
  6. Back Matter

About this book


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.


Coq abstract syntax combinator parsing concrete syntax context-free grammar dependent types domain-specific languages extended static checking first-order logic formal methods functional programming generic programming information flow securit

Editors and affiliations

  • Ana Bove
    • 1
  • Luís Soares Barbosa
    • 2
  • Alberto Pardo
    • 3
  • Jorge Sousa Pinto
    • 4
  1. 1.Department of Computer Science and EngineeringChalmers University of TechnologyGöteborgSweden
  2. 2.CCTC, Departamento de InformáticaUniversidade do MinhoBragaPortugal
  3. 3.Facultad de Ingeniería, Instituto de ComputaciónUniversidad de la RepúblicaMontevideoUruguay
  4. 4.Departamento de InformáticaUniversidade do Minho, CCTCBragaPortugal

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-03152-6
  • Online ISBN 978-3-642-03153-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment