摘要: Semantics of Programming Languages exposes the basic motivations and philosophy underlying applications semantic techniques in computer science. It introduces mathematical theory programming languages with an emphasis on higher-order functions type systems. Designed as a text for upper-level graduate-level students, mathematically sophisticated approach will also prove useful to professionals who want easily referenced description fundamental results calculi. Basic connections between computational behavior, denotational semantics, equational logic functional programs are thoroughly rigorously developed. Topics covered include models types, operational category theory, domain fixed point (denotational). full abstraction other correspondence criteria, types evaluation, checking inference, parametric polymorphism, subtyping. All topics treated clearly depth, complete proofs major numerous exercises.
amazon.com
goodreads.com参考文章(0)