Markus Müller-Olm – författare
Visar alla böcker från författaren Markus Müller-Olm. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Del 8723 - Lecture Notes in Computer Science
Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Häftad, Engelska, 2014
554 kr
Skickas inom 10-15 vardagar
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Del 10998 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Häftad, Engelska, 2018
554 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
554 kr
Skickas inom 10-15 vardagar
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results.This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered, it combines techniques from different areas such as linear algebra, computable ring theory, abstract interpretation, program verification, complexity theory, etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study.After a general overview, the monograph consists of three essentially self-contained parts that can be read independently of each other. These parts study: a hierarchy of constants in sequential programs, inherent limits of flow analysis of parallel programs, and how to overcome these limits by abandoning a classic atomic execution assumption.
Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Häftad, Engelska, 1997
554 kr
Skickas inom 10-15 vardagar
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Häftad, Engelska, 2008
554 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18–20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were heldinPortJe?erson1997,Pisa1998,Venice2002,NewYork2003,Venice2004, Paris 2005, Charleston 2006, Nice 2007, and San Francisco 2008. VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. Topics covered by VMCAI include program veri?cation, program cert- cation, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. The Program Committee selected 24 papers out of 72 submissions based on anonymous reviews and discussions in an electronic Program Committee me- ing. The principal selection criteria were relevance and quality. VMCAI has a tradition of inviting distinguished speakers to give talks and tutorials. This time the program included three invited talks by: – E. Allen Emerson (University of Texas at Austin) on “Model Checking: Progress and Problems” – Aarti Gupta (NEC Labs, Princeton) on “Model Checking Concurrent Programs” – Mooly Sagiv (Tel-Aviv University) on “Thread Modular Shape Analysis” There were also two invited tutorials by: – Byron Cook (Microsoft Research, Cambridge) on “Proving Program Ter- nation and Liveness” – V´ eroniqueCortier (LORIA, CNRS, Nancy) on“Veri?cationof Security P- tocols”.