Language Engineering and Rigorous Software Development, Fachbücher von Luis Soares Barbosa, Alberto Pardo, Ana Bove, Jor...

Das Buch "Language Engineering and Rigorous Software Development" bietet eine umfassende Sammlung von überarbeiteten und begutachteten Vorträgen der Internationalen LerNet ALFA Sommerschule, die im Jahr 2008 in Piriapolis, Uruguay, stattfand. Es umfasst drei Kurse zur Typentheorie, die sowohl eine Einführung als auch spezifische Themen wie typbasierte Termination und abhängige Typen behandeln. Darüber hinaus werden Fallstudien zu statischen Analysatoren, Tutorials zur Kombinator-Parsing-Technik und Studien zur erweiterten statischen Überprüfung vorgestellt. Diese Beiträge sind darauf ausgelegt, Studierenden und Forschenden wertvolle Einblicke in die neuesten Entwicklungen im Bereich der rigorosen Softwareentwicklung zu bieten.