Comparative Metric Semantics Of Programming Languages Nondeterminism And Recursion 1st Edition
comparative metric semanticsprogramming languages theorynondeterminism recursionformal methods computer sciencedenotational operational semantics
This foundational 1st edition delves into the comparative metric semantics of programming languages, offering a rigorous analysis of complex phenomena such as nondeterminism and recursion. It provides essential insights into how these fundamental computational concepts are formally understood and measured, serving as an invaluable resource for students and researchers in theoretical computer science and language design.