Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

The purpose of denotational semantics, according to Milne and Strachey [8], is to provide an accurate standard by which designers and implementors of programming languages can judge their work. Annotation Röntgenbefund und die sich in ihm widerspiegelnde pathologische Anatomie sind neben dem klinischen Bild die wichtigsten Säulen, auf denen die Diagnostik von Knochengeschwülsten und geschwulstähnlichen Läsionen beruht. Radiologen und Pathologen stellen in diesem Buch Klinik, Radiologie und Histolgie der verschiedenen Knochenläsionen am Gliedmaßen- und Achsenskelett umfassend und synoptisch dar. Das umfangreiche Material resultiert aus einer fünfzehnjährigen interdisziplinären Zusammenarbeit. In einem einleitenden Kapitel werden die verschiedenen radiologischen (konventionelles Röntgenbild, CT, Kernspintomographie, Angiographie, transkutane Biopsie) und histologischen Untersuchungstechniken und ihre Wertigkeit beschrieben. Der radiologischen Befundungsmethodik von Knochengeschwülsten u.a. mit Hilfe der Lodwick-Graduierung und einem neueren Staging-System für Knochengeschwülste werden eigene Kapitel gewidmet. Im speziellen Teil des Buches erfolgt die Darstellung der einzelnen benignen und malignen Knochengeschwülste in einer systematischen Untergliederung in ihre Häufigkeit, Lokalisation, Alters- und Geschlechtsprädilektion, Klinik und Prognose, Histologie, Radiologie und Differentialdiagnose. Besonders die unter den Knochengeschwülsten und tumorähnlichen Läsionen häufig vorkommenenden Entitäten sind mit einem umfassenden Bildmaterial ausgestattet, um dem breiten Spektrum ihrer Morphologie gerecht zu werden. Durch das Verständnis klinischer, radiologischer und pathologisch-anatomischer Befunde werden Diagnostik und Therapie der Skelettläsionen sehr erleichtert. Die synoptische Art der Darstellung macht dieses Buch für alle Disziplinen, die sich mit Knochentumoren befassen, zu einem idealen Nachschlagewerk 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