Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112999663> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2112999663 abstract "Processors conforming to the IEEE Standard for Floating-Point Arithmetic have been commonplace for some years, and now several programming languages seem to support or conform to this standard, from hereon referred to as “the IEEE Standard.” For example, The Java Language Specification by Gosling, Joy, and Steele, which defines the Java language, frequently mentions the IEEE Standard. Indeed, Java, as do other languages, supports some of the features of the IEEE Standard, including a couple floating-point data formats, and even requires (in section 4.2.4 “Floating-Point Operations” of the aforementioned book) that “operators on floating-point numbers behave exactly as specified by IEEE 754.” Arguing that the support current languages offer is not enough, this thesis establishes clear criteria for what it means to fully support the IEEE Standard in a programming language. Each aspect of the IEEE Standard is examined in detail from the point of view of how various arithmetic engines implement that aspect of the IEEE Standard, how different languages (and implementations thereof) support it, and what the range of options are in supporting that aspect. Practical recommendations are then offered (particularly, but not exclusively, for Ada and Java), taking, for example, programmer convenience and impact on performance into consideration. A detailed model specification following these recommendations is provided for the Ada language. In addition, a variety of issues related to the floating-point aspects of programming languages are discussed, so as to serve as a more complete guide to language designers. One such issue is floating-point expression evaluation schemes, and, more specifically, whether bit-for-bit identical results are actually achievable on a variety of platforms that conform to the IEEE Standard, as the Java language promises. Closely tied to this issue is that of double rounding, which occurs when a (possibly intermediate) result is rounded more than once before subsequent use or before being delivered to its final destination. So this thesis discusses when double rounding makes a difference, how it can be avoided, and what the performance impact is in avoiding it." @default.
- W2112999663 created "2016-06-24" @default.
- W2112999663 creator A5029865925 @default.
- W2112999663 creator A5074828831 @default.
- W2112999663 date "2000-01-01" @default.
- W2112999663 modified "2023-09-23" @default.
- W2112999663 title "A rigorous framework for fully supporting the ieee standard for floating-point arithmetic in high-level programming languages" @default.
- W2112999663 cites W103214193 @default.
- W2112999663 cites W1555915743 @default.
- W2112999663 cites W1578840083 @default.
- W2112999663 cites W1956351353 @default.
- W2112999663 cites W1969007036 @default.
- W2112999663 cites W1979346362 @default.
- W2112999663 cites W1988725470 @default.
- W2112999663 cites W1992823221 @default.
- W2112999663 cites W2009913507 @default.
- W2112999663 cites W2024763304 @default.
- W2112999663 cites W2028591972 @default.
- W2112999663 cites W2029745051 @default.
- W2112999663 cites W2046079722 @default.
- W2112999663 cites W2077364582 @default.
- W2112999663 cites W2145230984 @default.
- W2112999663 cites W2146495017 @default.
- W2112999663 cites W2169004268 @default.
- W2112999663 cites W2473672437 @default.
- W2112999663 cites W79353637 @default.
- W2112999663 cites W975212003 @default.
- W2112999663 hasPublicationYear "2000" @default.
- W2112999663 type Work @default.
- W2112999663 sameAs 2112999663 @default.
- W2112999663 citedByCount "5" @default.
- W2112999663 countsByYear W21129996632012 @default.
- W2112999663 countsByYear W21129996632015 @default.
- W2112999663 crossrefType "journal-article" @default.
- W2112999663 hasAuthorship W2112999663A5029865925 @default.
- W2112999663 hasAuthorship W2112999663A5074828831 @default.
- W2112999663 hasConcept C137231763 @default.
- W2112999663 hasConcept C199360897 @default.
- W2112999663 hasConcept C26713055 @default.
- W2112999663 hasConcept C2778514511 @default.
- W2112999663 hasConcept C41008148 @default.
- W2112999663 hasConcept C548217200 @default.
- W2112999663 hasConcept C84211073 @default.
- W2112999663 hasConceptScore W2112999663C137231763 @default.
- W2112999663 hasConceptScore W2112999663C199360897 @default.
- W2112999663 hasConceptScore W2112999663C26713055 @default.
- W2112999663 hasConceptScore W2112999663C2778514511 @default.
- W2112999663 hasConceptScore W2112999663C41008148 @default.
- W2112999663 hasConceptScore W2112999663C548217200 @default.
- W2112999663 hasConceptScore W2112999663C84211073 @default.
- W2112999663 hasLocation W21129996631 @default.
- W2112999663 hasOpenAccess W2112999663 @default.
- W2112999663 hasPrimaryLocation W21129996631 @default.
- W2112999663 hasRelatedWork W151526776 @default.
- W2112999663 hasRelatedWork W1518906673 @default.
- W2112999663 hasRelatedWork W1818910285 @default.
- W2112999663 hasRelatedWork W197008222 @default.
- W2112999663 hasRelatedWork W1970471226 @default.
- W2112999663 hasRelatedWork W1979396564 @default.
- W2112999663 hasRelatedWork W1983710314 @default.
- W2112999663 hasRelatedWork W2051847704 @default.
- W2112999663 hasRelatedWork W2056080928 @default.
- W2112999663 hasRelatedWork W2069225192 @default.
- W2112999663 hasRelatedWork W2089673409 @default.
- W2112999663 hasRelatedWork W2091085450 @default.
- W2112999663 hasRelatedWork W2099862877 @default.
- W2112999663 hasRelatedWork W2155882878 @default.
- W2112999663 hasRelatedWork W2240538372 @default.
- W2112999663 hasRelatedWork W2253366427 @default.
- W2112999663 hasRelatedWork W2570338842 @default.
- W2112999663 hasRelatedWork W2886981100 @default.
- W2112999663 hasRelatedWork W2992179976 @default.
- W2112999663 hasRelatedWork W2566245967 @default.
- W2112999663 isParatext "false" @default.
- W2112999663 isRetracted "false" @default.
- W2112999663 magId "2112999663" @default.
- W2112999663 workType "article" @default.