Language engineering and rigorous software development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures /
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 tut...
Corporate Authors: | LerNet ALFA Summer School Piriapolis, Uruguay) |
---|---|
Other Authors: | LerNet ALFA Summer School, Bove, Ana., SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2009.
Berlin ; New York : [2009] |
Physical Description: |
1 online resource (vi, 300 pages) : illustrations. |
Series: |
Lecture notes in computer science. Tutorial.
Lecture notes in computer science ; 5520. LNCS sublibrary. Programming and software engineering. |
Subjects: |
Table of 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.