论文信息 - On the non-sequential nature of the interval-domain model of real-number computation

On the non-sequential nature of the interval-domain model of real-number computation

We show that real-number computations in the interval-domain environment are ‘inherently parallel’ in a precise mathematical sense. We do this by reducing computations of the weak parallel-or operation on the Sierpinski domain to computations of the addition operation on the interval domain.

[1] Michael W. Mislove,et al. Topology, domain theory and theoretical computer science , 1998 .

[2] Roberto M. Amadio,et al. Domains and lambda-calculi , 1998, Cambridge tracts in theoretical computer science.

[3] Martín Hötzel Escardó,et al. PCF Extended with Real Numbers , 1996, Theor. Comput. Sci..

[4] Abbas Edalat,et al. Domains for Computation in Mathematics, Physics and Exact Real Arithmetic , 1997, Bulletin of Symbolic Logic.

[5] Robert Cartwright,et al. Exact real arithmetic formulating real numbers as functions , 1990 .

[6] Thomas Streicher,et al. Induction and Recursion on the Partial Real Line with Applications to Real PCF , 1999, Theor. Comput. Sci..

[7] Amin Farjudian. Sequentiality and Piecewise-affinity in Segments of Real-PCF , 2004, Electron. Notes Theor. Comput. Sci..

[8] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.

[9] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .

[10] G.D. Plotkin,et al. LCF Considered as a Programming Language , 1977, Theor. Comput. Sci..

[11] Horst Luckhardt. A Fundamental Effect in Computations on Real Numbers , 1977, Theor. Comput. Sci..

[12] K. Hofmann,et al. Continuous Lattices and Domains , 2003 .