Comparative Metric Semantics of Programming Languages: Nondeterminism and Recurs

Comparative Metric Semantics of Programming Languages : Nondeterminism and Re...

Comparative Metric Semantics of Programming Languages: Nondeterminism and: New

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

The Formal Semantics of Programming Languages: An Introduction (Foundations ...

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented C

Concepts and Semantics of Programming Languages 1: A Semantical Approach with OC