Error Algebras

Please use this identifier to cite or link to this item: http://hdl.handle.net/11375/21255

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Zucker, Jeffery	-
dc.contributor.author	Lei, Wei	-
dc.date.accessioned	2017-03-28T16:00:00Z	-
dc.date.available	2017-03-28T16:00:00Z	-
dc.date.issued	2007-11	-
dc.identifier.uri	http://hdl.handle.net/11375/21255	-
dc.description.abstract	In computations over many-sorted algebras, one typically encounters error cases, caused by attempting to evaluate an operation outside its domain (e.g. division by the integer 0; taking the square root of a negative integer; popping an empty stack). We present a method for systematically dealing with such error cases, namely the construction of an "error algebra" based on the original algebra. As an application of this method, we show that it provides a good semantics for (possibly improper) function tables.	en_US
dc.language.iso	en	en_US
dc.subject	error	en_US
dc.subject	algebras	en_US
dc.subject	computations	en_US
dc.subject	many-sorted algebras	en_US
dc.title	Error Algebras	en_US
dc.contributor.department	Computing and Software	en_US
dc.description.degreetype	Thesis	en_US
dc.description.degree	Master of Science (MSc)	en_US
Appears in Collections:	Digitized Open Access Dissertations and Theses

Files in This Item:

File	Description	Size	Format
Lei_Wei_2007Nov_Masters.pdf Open Access		1.34 MB	Adobe PDF	View/Open