@masterthesis{bieber2001,
	author	= { Ronald Bieber },
	title	= { Alexsa -
				Algorithm Explanation by Shape Analysis -
				Extensions to the TVLA System },
	year	= { 2001 },
	month	= { apr },
	school	= { Universit\"{a}t des Saarlandes },
	type	= { Diplomarbeit },
	address	= { Saarbr\"{u}cken, Germany },
	abstract = {
				Algorithm explanation visualizes programs for teaching, debugging, optimization,
				and verification purposes. In this thesis we use shape analysis with 3-valued
				Kleene logic and the TVLA implementation of this analysis to analyze programs
				with respect to dynamic data structures. Our tool Alexsa features an easy to
				use interface for the visualization, with simultaneous code view and heap content
				representation. We implement an automatic pseudo code generation for improved
				readability, a well-defined algorithm for presenting the visual execution of programs
				in an interesting way, smooth transitions between the single states, and a number
				of additional tools for verification and debugging of the analyzed programs.
	},
	language = { English },
	URL		= { http://sova.sulb.uni-saarland.de/sova/volltexte/2001/37 }
}