Lazy computation with exact real numbers
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Partial correctness for probabilistic demonic programs
Theoretical Computer Science
ACM Transactions on Computational Logic (TOCL)
Contractivity of linear fractional transformations
Theoretical Computer Science
Real functions computable by finite automata using affine representations
Theoretical Computer Science
Exact real number computations relative to hereditarily total functionals
Theoretical Computer Science
Numerical Integration with Exact Real Arithmetic
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Comparing Functional Paradigms for Exact Real-Number Computation
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
On Termination of Logic Programs with Floating Point Computations
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Real PCF extended with integration
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Computability and totality in domains
Mathematical Structures in Computer Science
Hierarchies of total functionals over the reals
Theoretical Computer Science - Logic, semantics and theory of programming
Domain theory and differential calculus (functions of one variable)
Mathematical Structures in Computer Science
On the non-sequential nature of the interval-domain model of real-number computation
Mathematical Structures in Computer Science
Compact metric spaces as minimal-limit sets in domains of bottomed sequences
Mathematical Structures in Computer Science
Termination of Floating-Point Computations
Journal of Automated Reasoning
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
Sequential Real Number Computation and Recursive Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Effective λ-models versus recursively enumerable λ-theories
Mathematical Structures in Computer Science
A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Definability of total objects in PCF and related calculi
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
A language for differentiable functions
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
A Stream Calculus of Bottomed Sequences for Real Number Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We extend the programming language PCF with a type for (total andpartial) real numbers. By a partial realnumber we mean an element of a cpo ofintervals, whose subspace of maximal elements (single-point intervals)is homeomorphic to the Euclidean real line. We show that partial realnumbers can be considered as “continuous words”.Concatenation of continuous words corresponds to refinement of partialinformation. The usual basic operations cons, head and tail used toexplicitly or recursively define functions on words generalize topartial real numbers. We use this fact to give an operational semanticsto the above referred extension of PCF. We prove that the operationalsemantics is sound and complete with respect to the denotationalsemantics. A program of real number type evaluates to a head-normal formiff its value is different from ⊥; if its value is different from ⊥ then it successively evaluates to head-normal formsgiving better and better partial results converging to its value.—Author's Abstract