This book is devoted to the comparison of the operational and the denotational approaches with the semantics of programming languages. The key feature of the study presented here is the use of the metric techniques, rather than the wildly used ordered structures. The metric approach, introduced in the late seventies by Arnold and Nivat, and De Bakker and Zucker, comes with a very useful unique fixed-point proof principle which plays a crucial role in this book.
by Franck van Breugel
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).