Limiting semantics of numerical programs
type: Item
instance of: scholarly article
title: Limiting semantics of numerical programs
zbMATH Open document ID: 0903.68118
DOI: 10.1016/S0304-3975(96)00050-3
published in: Theoretical Computer Science
publication date: 1998-07-23T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1178865
zbMATH Keywords: semantic models
author: Douglas N. Hoover
MaRDI profile type: Publication
cites work: Q3910522
cites work: On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
cites work: A Simple but Realistic Model of Floating-Point Computation
cites work: Q2757806
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: Domain theory and integration
cites work: Q5625129
cites work: Q4288818
cites work: Q4222761
cites work: Q3226265
cites work: Q5585020
cites work: Metric spaces, generalized logic, and closed categories
cites work: Q3857704
cites work: \(\mathbb{T}^\omega\) as a universal domain
cites work: Q3994907
cites work: Q5649639
cites work: Q3316563
cites work: Q3821265
cites work: Q3359391
cites work: Completeness of Quasi-Uniform and Syntopological Spaces
full work available at URL: s0304-3975(96)00050-3
OpenAlex ID: W2091718659
description: scientific article; zbMATH DE number 1178865