Foundations for Programming Languages读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	845页			2020	The MIT Press

定价	出版日期	最近访问	访问指数
USD 95.00	2020-02-20 …	2020-03-07 …	76

主题/类型/题材/标签

程序设计语言理论,Programming,计算机科学,PL,程序语义,lambda,程序设计,编译原理,

作者

John C. Mitchell ISBN:9780262133210 原作名/别名:《》

内容和作者简介

Foundations for Programming Languages摘要

作者简介

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic.Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series

本书后续版本

未发行或暂未收录

喜欢读〖Foundations for Programming Languages〗的人也喜欢：

Essentials of Programming Languages 编程,Programming,计算机,计算机科学,Scheme,language,Lisp,编译&体系结构,　2020-02-20 …

Essentials of Programming Languages, 3rd Edition 编程语言,计算机科学,Programming,计算机,ProgramLanguages,scheme,编程,编译原理,　2020-02-20 …

Foundations for Programming Languages 程序设计语言理论,Programming,计算机科学,PL,程序语义,lambda,程序设计,编译原理,　2020-02-20 …

Programming Languages 计算机科学,程序设计,programming-paradigm,programming,　2020-02-20 …

Formal Semantics of Programming Languages 程序设计语言,计算机,计算机科学,形式语义,Programming,CS,语义,计算机软件和理论,　2020-02-20 …

Concepts of Programming Languages 计算机科学,Programming,Languages,计算机,编程语言理论,编程,程序设计,编程语言,　2020-02-20 …

The Implementation of Functional Programming Langu 函数式编程,编译原理,计算机科学,计算机语言,函数式,计算机,fp,Haskell,　2020-02-20 …

Advanced Topics in Types and Programming Languages 计算机科学,类型系统,PL,Theory,Language,编程,Programming,计算机,　2020-02-20 …

Practical Foundations for Programming Languages 计算机科学,计算机,Programming,编程,cs,　2020-02-20 …

Foundations of Programming Languages (Undergraduat programming,　2020-02-20 …