Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (Herausgeber)

Buch | Hardcover

666 Seiten

1995
Clarendon Press (Verlag)
978-0-19-853780-9 (ISBN)

Artikel merken

This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.

1. Models for concurrency ; 2. Concrete process alegbra ; 3. Correspondence between operational and denotational semantics: the full abstraction problem for PCF ; 4. Effective algebras ; 5. Abstract interpretation: a semantics based tool for program analysis

Erscheint lt. Verlag	4.5.1995
Reihe/Serie	Handbook of Logic in Computer Science
Zusatzinfo	line figures
Verlagsort	Oxford
Sprache	englisch
Maße	161 x 241 mm
Gewicht	1115 g
Themenwelt	Informatik ► Grafik / Design ► Digitale Bildverarbeitung
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
ISBN-10	0-19-853780-8 / 0198537808
ISBN-13	978-0-19-853780-9 / 9780198537809
Zustand	Neuware