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 | 1.34 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.