Amazon cover image
Image from Amazon.com

Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures / Ana Bove [and others] (eds.).

By: Contributor(s): Material type: TextTextPublisher number: 12716449Series: Lecture notes in computer science. Tutorial. | Lecture notes in computer science ; 5520. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, ©2009.Description: 1 online resource (vi, 300 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642031533
  • 3642031536
Subject(s): Genre/Form: Additional physical formats: Print version:: Language engineering and rigorous software development.DDC classification:
  • 005.1 22
LOC classification:
  • QA76.76.D47 L475 2008
Other classification:
  • 54.53
  • SS 4800
  • DAT 544f
  • DAT 555f
Online resources:
Contents:
Title Page; Preface; Organization; Table of Contents; Introduction to Type Theory; Dependent Types at Work; A Tutorial on Type-Based Termination; Structural Abstract Interpretation: A Formal Study Using Coq; Extended Static Checking by Calculation Using the Pointfree Transform; Combinator Parsing: A Short Tutorial; Author Index.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Title Page; Preface; Organization; Table of Contents; Introduction to Type Theory; Dependent Types at Work; A Tutorial on Type-Based Termination; Structural Abstract Interpretation: A Formal Study Using Coq; Extended Static Checking by Calculation Using the Pointfree Transform; Combinator Parsing: A Short Tutorial; Author Index.

Print version record.

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.

Powered by Koha