Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University

First Page		Document Content
Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science		Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 237,54 KB Share Document on Facebook

	Using Powerdomains to Generalize Relational Databases Peter Buneman Achim Jung Atsushi Ohoriy Abstract DocID: 1p977 - View Document
	Triangle-Shaped Graphene Domains by LP-CVD and Update of Graphene Application in Motive Power Battery 1,2,3 1 1 Gui-Ping Dai DocID: 1mX9P - View Document
	SMART ARM-Based Microcontrollers AT04296: Understanding Performance Levels and Power Domains APPLICATION NOTE DocID: 1kn73 - View Document
	On the Existence of Singular Solutions to the Stokes Problem in the Power Cusp Domains Alicija Eismontait˙e1,∗ , Konstantin Pileckas2 Faculty of Mathematics and Informatics, Vilnius University, Lithuania, ∗ alicija. DocID: 1gKUw - View Document
	The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990 DocID: 1gDKj - View Document