TY  - BOOK
AU  - Bove,Ana
AU  - Barbosa,Luís Soares
AU  - Pardo,Alberto
AU  - Pinto,Jorge Sousa
ED  - SpringerLink (Online service)
TI  - Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures 
T2  - Lecture Notes in Computer Science,
SN  - 9783642031533
AV  - QA76.758 
U1  - 005.1 23
PY  - 2009///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer simulation
KW  - Information Systems
KW  - Computer Science
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Simulation and Modeling
KW  - Programming Techniques
KW  - Management of Computing and Information Systems
N1  - 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
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-03153-3
ER  -