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)
Embedded systems often have to operate under rigid power and performance constraints. Off-the-shelf processors often cannot meet those requirements, instead Application-Specific Instruction Processors (ASIP) are used that are tuned for the particular system at hand. Apopular and powerful wayofmodeling ASIPs is the use of a Processor Description Language(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)
This report compares two opposing client/server approaches with a focus on implementing a database application. Two clients have been implemented in order to gain first-hand experience in developing a fat client and a web-based thin client. After briefly describing the database, the report concentrates on the merits and demerits of the two clients from a(More)
  • 1