Abstract | ||
---|---|---|
A parameterized definition of subtractive floating point division algorithms is presented and verified using PVS. The general algorithm is proven to satisfy a formal definition of an IEEE standard for floating point arithmetic. The utility of the general specification is illustrated using a number of different instances of the general algorithm. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/BFb0031800 | FMCAD |
Keywords | Field | DocType |
floating point arithmetic,general algorithm,parameterized definition,formal definition,ieee compliant subtractive division,ieee standard,subtractive floating point division,different instance,general specification,subtraction,theorem proving,generic algorithm,satisfiability,algorithms,floating point | Prototype Verification System,Division algorithm,Subtractive color,Parameterized complexity,NaN,Floating point,Computer science,Automated theorem proving,Algorithm,Theoretical computer science,Minifloat | Conference |
Volume | ISSN | ISBN |
1166 | 0302-9743 | 3-540-61937-2 |
Citations | PageRank | References |
19 | 1.89 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paul S. Miner | 1 | 61 | 5.98 |
James F. Leathrum | 2 | 40 | 6.72 |