Atlas home || Conferences | Abstracts | about Atlas

SumTopo 2001, Sixteenth Summer Conference on Topology and its Applications
July 18-21, 2001
City College of CUNY
New York, NY, USA

Organizers
Ralph Kopperman (City College, CUNY), Susan Andima (CW Post College, LIU), Gerald Itzkowitz (Queens College, CUNY), Prabudh Misra (College of Staten Island, CUNY), Shelly Rothman (CW Post College, LIU), Aaron Todd (Baruch College, CUNY)

View Abstracts
Conference Homepage

Topological semantics of Dijsktra's predicate transformers
by
Yi-Xiang Chen
College of Mathematical Science, Shanghai Teachers University, Shanghai 200234, P.R. China

In this paper, the author would like to set up topological semantics of Dijkstra's predicate transformers by using the notion of semitopological spaces. D-semitopological spaces are introduced to give semantics of comparable predicate transformers, and SM-semitopological spaces are done to set up ones of continuous predicate transformers. The notion of upper semi-stable functions on dI-domains is introduced, and its characterizations are investigated.

Date received: April 5, 2001

Copyright © 2001 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cagw-10.