Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings

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