Theoretical computer science, 1999-06, Vol.221 (1-2), p.295-326
1999
Details
- Autor(en) / Beteiligte
- Titel
- An abstract data type for real numbers
- Ist Teil von
- Theoretical computer science, 1999-06, Vol.221 (1-2), p.295-326
- Ort / Verlag
- Amsterdam: Elsevier B.V
- Erscheinungsjahr
- 1999
- Link zum Volltext
- Quelle
- Free E-Journal (出版社公開部分のみ）
- Beschreibungen/Notizen
- We present a calculus having real numbers as a basic data type. The calculus is defined by its denotational semantics. We prove the universality of the calculus. We show how the definition of an operational semantics is problematic. We discuss this problem and present a possible solution.
- Sprache
- Englisch
- Identifikatoren
- ISSN: 0304-3975eISSN: 1879-2294DOI: 10.1016/S0304-3975(99)00036-5Titel-ID: cdi_crossref_primary_10_1016_S0304_3975_99_00036_5
- Format
- –
- Schlagworte
- Abstract data types, Algorithmics. Computability. Computer arithmetics, Applied sciences, Computer science, control theory, systems, Denotational and operational semantics, Domain theory, Exact sciences and technology, Language theory and syntactical analysis, Real number computability, Theoretical computing