Sequentiality and piecewise-affinity in segments of Real-PCF

MaRDI QIDQ2851538zbMATH OpenFDO

Authors Amin Farjudian

Publication date 10 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104050832

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On piecewise linear spectral sequences
• Note on realizable sequences of partitions
• On sequential separability
• Seq-consistency property and interpolation theorems
• Resolute sequences in initial segment complexity
• Dynamic realizations of sufficient sequences
• On sequential separability of functional spaces
• On the complexity of computable real sequences
• Piecewise affine functions, Sturmian sequences and Wang tiles
• The sequentially realizable functionals

Cited in

(5)

• Semantics of a sequential language for exact real-number computation
• A stream calculus of bottomed sequences for real number computation
• A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
• Sequential real number computation and recursive relations
• Sequential real number computation and recursive relations

This page was built for publication: Sequentiality and piecewise-affinity in segments of Real-PCF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851538)