Property | Value |
---|---|
dcterms:bibliographicCitation | <http://dblp.uni-trier.de/rec/bibtex/journals/tse/Barrett89> |
dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Geoff_Barrett> |
foaf:homepage | <http://dx.doi.org/doi.org%2F10.1109%2F32.24710> |
foaf:homepage | <https://doi.org/10.1109/32.24710> |
dc:identifier | DBLP journals/tse/Barrett89 (xsd:string) |
dc:identifier | DOI doi.org%2F10.1109%2F32.24710 (xsd:string) |
dcterms:issued | 1989 (xsd:gYear) |
swrc:journal | <https://dblp.l3s.de/d2r/resource/journals/tse> |
rdfs:label | Formal Methods Applied to a Floating-Point Number System. (xsd:string) |
foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Geoff_Barrett> |
swrc:number | 5 (xsd:string) |
swrc:pages | 611-621 (xsd:string) |
owl:sameAs | <http://bibsonomy.org/uri/bibtexkey/journals/tse/Barrett89/dblp> |
owl:sameAs | <http://dblp.rkbexplorer.com/id/journals/tse/Barrett89> |
rdfs:seeAlso | <http://dblp.uni-trier.de/db/journals/tse/tse15.html#Barrett89> |
rdfs:seeAlso | <https://doi.org/10.1109/32.24710> |
dc:subject | formal methods; floating-point number system; formalization; IEEE standard; binary floating-point arithmetic; ANSI/IEEE Std. 754-1985; set-theoretic specification language; Z; formal specification; sequential components; unpack; operands; pack; round; proven rules; mathematically rigorous method; program development; internal representations; floating-point unit; Inmos IMS T800 transputer; digital arithmetic; specification languages (xsd:string) |
dc:title | Formal Methods Applied to a Floating-Point Number System. (xsd:string) |
dc:type | <http://purl.org/dc/dcmitype/Text> |
rdf:type | swrc:Article |
rdf:type | foaf:Document |
swrc:volume | 15 (xsd:string) |