Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

Bokus

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intui...

916.00 kr

Liknande produkter