Matches in SemOpenAlex for { <https://semopenalex.org/work/W2119961854> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2119961854 abstract "As one of the first theoretical programming languages for exact real number computation, Real PCF was shown to be impractical due to the parallel construct needed for even basic operations. Later, LRT was proposed as a variant of Real PCF avoiding the parallelism by introducing a non-deterministic constructor into the language. In this paper we present an implementation of a calculator for exact real number computation based on LRT and compare its efficacy with an application of the standard use of real numbers in an imperative programming language. Finally, our implementation is compared with a standard implementation of exact real number computation based on the sign digit representation, which is also based on exact real number computation." @default.
- W2119961854 created "2016-06-24" @default.
- W2119961854 creator A5000261707 @default.
- W2119961854 creator A5012153290 @default.
- W2119961854 creator A5017961941 @default.
- W2119961854 date "2012-01-01" @default.
- W2119961854 modified "2023-10-17" @default.
- W2119961854 title "Comparing Implementations of a Calculator for Exact Real Number Computation" @default.
- W2119961854 hasPublicationYear "2012" @default.
- W2119961854 type Work @default.
- W2119961854 sameAs 2119961854 @default.
- W2119961854 citedByCount "0" @default.
- W2119961854 crossrefType "journal-article" @default.
- W2119961854 hasAuthorship W2119961854A5000261707 @default.
- W2119961854 hasAuthorship W2119961854A5012153290 @default.
- W2119961854 hasAuthorship W2119961854A5017961941 @default.
- W2119961854 hasConcept C111919701 @default.
- W2119961854 hasConcept C11413529 @default.
- W2119961854 hasConcept C173608175 @default.
- W2119961854 hasConcept C199360897 @default.
- W2119961854 hasConcept C26713055 @default.
- W2119961854 hasConcept C2776836400 @default.
- W2119961854 hasConcept C33923547 @default.
- W2119961854 hasConcept C41008148 @default.
- W2119961854 hasConcept C45374587 @default.
- W2119961854 hasConcept C459310 @default.
- W2119961854 hasConcept C94375191 @default.
- W2119961854 hasConceptScore W2119961854C111919701 @default.
- W2119961854 hasConceptScore W2119961854C11413529 @default.
- W2119961854 hasConceptScore W2119961854C173608175 @default.
- W2119961854 hasConceptScore W2119961854C199360897 @default.
- W2119961854 hasConceptScore W2119961854C26713055 @default.
- W2119961854 hasConceptScore W2119961854C2776836400 @default.
- W2119961854 hasConceptScore W2119961854C33923547 @default.
- W2119961854 hasConceptScore W2119961854C41008148 @default.
- W2119961854 hasConceptScore W2119961854C45374587 @default.
- W2119961854 hasConceptScore W2119961854C459310 @default.
- W2119961854 hasConceptScore W2119961854C94375191 @default.
- W2119961854 hasLocation W21199618541 @default.
- W2119961854 hasOpenAccess W2119961854 @default.
- W2119961854 hasPrimaryLocation W21199618541 @default.
- W2119961854 hasRelatedWork W107129686 @default.
- W2119961854 hasRelatedWork W1262521223 @default.
- W2119961854 hasRelatedWork W1572523360 @default.
- W2119961854 hasRelatedWork W1969934278 @default.
- W2119961854 hasRelatedWork W2046126072 @default.
- W2119961854 hasRelatedWork W2373002509 @default.
- W2119961854 hasRelatedWork W2965967938 @default.
- W2119961854 hasRelatedWork W2980205373 @default.
- W2119961854 hasRelatedWork W2990831594 @default.
- W2119961854 hasRelatedWork W3186509556 @default.
- W2119961854 isParatext "false" @default.
- W2119961854 isRetracted "false" @default.
- W2119961854 magId "2119961854" @default.
- W2119961854 workType "article" @default.