Handbook of Logic in Computer Science
- Description
- Features
- Contents
- Authors
- Reviews
- Lecturer Resources
- Teacher Resources
- Student Resources
- Sample Pages
- ebook
Volume four in the series covers the fundamental topics of semantic modelling in logic and computation. All the chapters are written to follow a thematic point of view and come as the result of years of coordinated research. This volume brings the reader up-to-date with front line research.
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