TY - BOOK ID - 8360932 TI - Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers AU - Bove, Ana. AU - Barbosa, Luis Soares. AU - Pardo, Alberto. AU - Pinto, Jorge Sousa. AU - LerNet ALFA Summer School AU - International Summer School on Language Engineering and Rigorous Software Development PY - 2009 SN - 3642031528 9786612331817 1282331817 3642031536 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer software --Development --Congresses. KW - Formal methods (Computer science) --Congresses. KW - Programming languages (Electronic computers) --Congresses. KW - Type theory --Congresses. KW - Computer software KW - Formal methods (Computer science) KW - Programming languages (Electronic computers) KW - Type theory KW - Computer Science KW - Engineering & Applied Sciences KW - Development KW - Information Technology KW - Software Engineering KW - Computer science. KW - Computer programming. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer simulation. KW - Management 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. KW - Computer-based information systems KW - EIS (Information systems) KW - Executive information systems KW - MIS (Information systems) KW - Sociotechnical systems KW - Information resources management KW - Management KW - Computer modeling KW - Computer models KW - Modeling, Computer KW - Models, Computer KW - Simulation, Computer KW - Electromechanical analogies KW - Mathematical models KW - Simulation methods KW - Model-integrated computing KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Informatics KW - Science KW - Communication systems KW - Programming KW - Logic, Symbolic and mathematical KW - Information Systems. UR - https://www.unicat.be/uniCat?func=search&query=sysid:8360932 AB - 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. ER -