Skip to main content
  • Textbook
  • © 2009

Language Engineering and Rigorous Software Development

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

Conference proceedings info: LerNet 2008.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (6 chapters)

  1. Front Matter

  2. Introduction to Type Theory

    • Herman Geuvers
    Pages 1-56
  3. Dependent Types at Work

    • Ana Bove, Peter Dybjer
    Pages 57-99
  4. A Tutorial on Type-Based Termination

    • Gilles Barthe, Benjamin Grégoire, Colin Riba
    Pages 100-152
  5. Combinator Parsing: A Short Tutorial

    • 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.

Keywords

  • 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

  • Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden

    Ana Bove

  • CCTC, Departamento de Informática, Universidade do Minho, Braga, Portugal

    Luís Soares Barbosa

  • Facultad de Ingeniería, Instituto de Computación, Universidad de la República, Montevideo, Uruguay

    Alberto Pardo

  • Departamento de Informática, Universidade do Minho, CCTC, Braga, Portugal

    Jorge Sousa Pinto

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, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-03153-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2009

  • Softcover ISBN: 978-3-642-03152-6Published: 14 July 2009

  • eBook ISBN: 978-3-642-03153-3Published: 27 July 2009

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 301

  • Topics: Software Engineering, Compilers and Interpreters, Computer Modelling, Programming Techniques, IT Operations

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions