A topological framework for program semantics
| dc.contributor.advisor | Brink, Chris | |
| dc.contributor.author | Rewitzky, Ingrid Moira | |
| dc.date.accessioned | 2024-10-25T12:06:35Z | |
| dc.date.available | 2024-10-25T12:06:35Z | |
| dc.date.issued | 1995 | |
| dc.date.updated | 2024-07-12T06:20:25Z | |
| dc.description.abstract | Program semantics can be viewed relationally as in relational semantics, algebraically as in predicate transformer semantics, logically as in information systems and order-theoretically as in denotational semantics. This can be compared to a common situation in non-classical logics. Namely, a logic can often be presented as a formal deductive system, as an algebra and as a relational structure, with each of the presentations derivable from each of the other two. The central hypothesis of this thesis is that this situation can serve as a paradigm for unifying the various versions of program semantics. Starting with a relational semantics based on certain ordered topological spaces, called Priestley spaces, and invoking the techniques of Priestley duality, an algebraic. a logical and an order-theoretic presentation of program semantics are derived. Each of these four presentations are also derivable from each of the other three. The topological model of program semantics based on Priestley spaces thus serves as a unifying framework for other versions of program semantics, essentially as in the logic-algebra-semantics paradigm. | |
| dc.identifier.apacitation | Rewitzky, I. M. (1995). <i>A topological framework for program semantics</i>. (). ,Faculty of Science ,Department of Mathematics and Applied Mathematics. Retrieved from http://hdl.handle.net/11427/40619 | en_ZA |
| dc.identifier.chicagocitation | Rewitzky, Ingrid Moira. <i>"A topological framework for program semantics."</i> ., ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 1995. http://hdl.handle.net/11427/40619 | en_ZA |
| dc.identifier.citation | Rewitzky, I.M. 1995. A topological framework for program semantics. . ,Faculty of Science ,Department of Mathematics and Applied Mathematics. http://hdl.handle.net/11427/40619 | en_ZA |
| dc.identifier.ris | TY - Thesis / Dissertation AU - Rewitzky, Ingrid Moira AB - Program semantics can be viewed relationally as in relational semantics, algebraically as in predicate transformer semantics, logically as in information systems and order-theoretically as in denotational semantics. This can be compared to a common situation in non-classical logics. Namely, a logic can often be presented as a formal deductive system, as an algebra and as a relational structure, with each of the presentations derivable from each of the other two. The central hypothesis of this thesis is that this situation can serve as a paradigm for unifying the various versions of program semantics. Starting with a relational semantics based on certain ordered topological spaces, called Priestley spaces, and invoking the techniques of Priestley duality, an algebraic. a logical and an order-theoretic presentation of program semantics are derived. Each of these four presentations are also derivable from each of the other three. The topological model of program semantics based on Priestley spaces thus serves as a unifying framework for other versions of program semantics, essentially as in the logic-algebra-semantics paradigm. DA - 1995 DB - OpenUCT DP - University of Cape Town KW - Mathematics and Applied Mathematics LK - https://open.uct.ac.za PY - 1995 T1 - A topological framework for program semantics TI - A topological framework for program semantics UR - http://hdl.handle.net/11427/40619 ER - | en_ZA |
| dc.identifier.uri | http://hdl.handle.net/11427/40619 | |
| dc.identifier.vancouvercitation | Rewitzky IM. A topological framework for program semantics. []. ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 1995 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/40619 | en_ZA |
| dc.language.rfc3066 | eng | |
| dc.publisher.department | Department of Mathematics and Applied Mathematics | |
| dc.publisher.faculty | Faculty of Science | |
| dc.subject | Mathematics and Applied Mathematics | |
| dc.title | A topological framework for program semantics | |
| dc.type | Thesis / Dissertation | |
| dc.type.qualificationlevel | Doctoral | |
| dc.type.qualificationlevel | PhD |