E-Books durchsuchen

Mathematical Foundations of Programming Semantics [1986]

1
Standard, storeless semantics for ALGOL-style block structure and call-by-name
20
Cartesian closed categories, quasitopoi and topological universes
42
Concrete categories and injectivity
53
Fixed points in process algebras with internal actions
59
A fully abstract semantics and a proof system for an algol-like language with sharing
101
Comparing categories of domains
122
Galois connections
135
Retracts of SFP objects
149
Continuous categories
162
Free constructions of powerdomains
184
Additive domains
196
A topological framework for cpos lacking bottom elements
205
Detecting local finite breadth in continuous lattices and semilattices
215
On the variety concept for ω-continuous algebras. Application of a general approach
249
On denotational semantics of data bases
275
Postconditional semantics of data base queries
296
What is a model? A consumer's perspective on semantic theory
308
Modal theory, partial orders, and digital geometry
324
An FP domain with infinite objects
342
Union complete countable subset systems
357
On the syntax and semantics of concurrent computing
Feedback