Language Engineering And Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 by Ana BoveLanguage Engineering And Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 by Ana Bove

Language Engineering And Rigorous Software Development: International LerNet ALFA Summer School…

byAna BoveEditorLuis Soares Barbosa, Alberto Pardo

Paperback | July 14, 2009

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap ´ olis, Uruguay, from February 25 to March 1, 2008. The aim of the schoolwasthe dissemination of advancedscienti?c knowledge in the areas of programming languages and rigorous methods for software - velopment. The school was oriented to computer science graduate students and researchers,withaninterestinformaltechniquesforthedesignandconstruction of software systems as well as programming languages. The school was organized in the context of the LERnet (Language En- neering and Rigorous Software Development) project. LERnet is a project of the ALFA programme of the European Commission for co-operation between higher education institutions of the European Union and Latin America. The institutions that participate in the LERnet project are the following: - Chalmers Tekniska H¨ ogskola, Sweden - Institut National de la Recherche en Informatique et Automatique (INRIA), France - Universidad de Castilla-La Mancha, Spain - Universidad Catol ´ ica de Santiago del Estero, Argentina - Universidad EAFIT, Colombia - Universidade Federal de Minas Gerais, Brazil - Universidade do Minho, Portugal - Universidad Nacional de San Luis, Argentina - Universidad Polit´ ecnica de Valencia, Spain - Universidad de la Republica ´ , Uruguay - Universiteit Utrecht, The Netherlands The project oversees the mobility of PhD students from Latin America to the European Union and vice versa for a period of up to 18 months, to pursue
Title:Language Engineering And Rigorous Software Development: International LerNet ALFA Summer School…Format:PaperbackDimensions:301 pages, 23.5 × 15.5 × 0.01 inPublished:July 14, 2009Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642031528

ISBN - 13:9783642031526

Reviews

Table of Contents

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.