Simple Equational Specifications of Rational Arithmetic

Simple item page
dc.contributor.authorMoss, Lawrence
dc.date.accessioned2025-11-11T23:38:56Z
dc.date.available2025-11-11T23:38:56Z
dc.date.issued2000-07
dc.description.abstractWe exhibit an initial specification of the rational numbers equipped with addition, subtraction, multiplication, greatest integer function, and absolute value. Our specification uses only the sort of rational numbers. It uses one hidden function; that function is unary. But it does not use an error constant, or extra (hidden) sorts, or conditional equations. All of our work is elementary and self-contained.
dc.identifier.urihttps://hdl.handle.net/2022/34383
dc.relation.ispartofseriesIndiana University Computer Science Technical Reports; TR541
dc.rightsThis work is protected by copyright unless stated otherwise.
dc.rights.uri
dc.titleSimple Equational Specifications of Rational Arithmetic

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR541.pdf
Size:
225.63 KB
Format:
Adobe Portable Document Format
Download

Collections

Technical Reports
Can’t use the file because of accessibility barriers? Contact us