Viktor Pavlu

Learn More
—Shape analysis is a static pointer analysis technique that models heap-allocated data structures in greater detail than the typical pointer analysis does. To a compiler, this information is crucial for deciding wether two expressions refer to the same memory location, as a great number of analyses depend on this aliasing information. Various shape analyses(More)
— Shape analysis is a static program analysis technique for discovering properties of heap-allocated data structures. It is crucial to finding software bugs or to verify high-level correctness properties. Various analyses have been introduced but their relation in terms of precision often remains unclear as different analyses use different abstractions of(More)
Document formatting is the process of mapping information to layout. Since the first document formatting systems were developed in the 1960s, the use of computerized document formatting systems has steadily increased. Today document formatting is one of the most widespread applications of computers. This report gives an overview of the historical(More)
  • 1