Learn More
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc changes might have disastrous effects on the system and must be prevented under all circumstances , which requires the understanding of the details of source code and system(More)
A trace is a record of the execution of a computer program , showing the sequence of operations executed. Dynamic traces are obtained by executing the program and depend upon the input. Static traces, on the other hand, describe potential sequences of operations extracted statically from the source code. Static traces offer the advantage that they do not(More)
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which uses an abstract program representation enabling us to use different pointer analyses ranging from fast but imprecise to slow but precise ones. Our implementation includes the computation of(More)
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which uses an abstract program representation enabling us to use different pointer analyses ranging from fast but imprecise to slow but precise ones. Our implementation includes the computation of(More)
Hintergrund und Ziel: Experimentelle und klinische Studien weisen auf einen möglichen Zusammenhang zwischen dem Zytomegalievirus und der koronaren Herzerkrankung hin. Es war Ziel dieser Studie, mit Hilfe hochsensitiver molekularbiologischer Methoden in seriellen Analysen die Prävalenz von Zytomegalievirusgenom in koronaren Atheromen zu bestimmen sowie eine(More)