Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5520)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): LerNet: International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development
Conference proceedings info: LerNet 2008.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (6 chapters)
-
Front Matter
-
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.
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, Programming Languages, Compilers, Interpreters, Simulation and Modeling, Programming Techniques, Management of Computing and Information Systems