enter search term and/or author name
Typed Assembly Languages (TALs) are used to validate the safety of machine-language programs. The Foundational Proof-Carrying Code project seeks to verify the soundness of TALs using the smallest possible set of axioms: the axioms of a suitably...
A termination analyzer for Java bytecode based on path-length
Fausto Spoto, Fred Mesnard, Étienne Payet
Article No.: 8
It is important to prove that supposedly terminating programs actually terminate, particularly if those programs must be run on critical systems or downloaded into a client such as a mobile phone. Although termination of computer programs is...
Satin: A high-level and efficient grid programming model
Rob V. Van Nieuwpoort, Gosia Wrzesińska, Ceriel J. H. Jacobs, Henri E. Bal
Article No.: 9
Computational grids have an enormous potential to provide compute power. However, this power remains largely unexploited today for most applications, except trivially parallel programs. Developing parallel grid applications simply is too...