Programming Language Pragmatics pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

出版者:Morgan Kaufmann

作者:Michael L. Scott

出品人:

页数:992

译者:

出版时间:2015-11-29

价格:USD 85.94

装帧:平装

isbn号码:9780124104099

丛书系列:

图书标签:

编程语言
programming
程序设计
编译器
编译原理
计算机
编程
PLT
Programming Language Pragmatics
Programming
Computer Science
Software Engineering
Language Design
Practical Programming
Compilers
Formal Methods
Programming Paradigms
Coding
Books

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

Programming Language Pragmatics, Fourth Edition is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on integration that is supported by a central focus on programming language design.

The book provides readers with a solid foundation for understanding the most important issues driving software development today, and this latest edition is complete with new material and numerous updates, including added content on interpretation, expanded coverage of OCaml, new chapters devoted to type systems and composite types, reworked coverage of overloading, coercion, and polymorphism, and new examples featuring the ARM and x86 64-bit architectures.

Provides new material on interpretation, including expanded coverage of OCaml

Contains new material on interpretation, expanded coverage of OCaml, new chapters devoted to type systems and composite types, reworked coverage of overloading, coercion, and polymorphism

New chapters are devoted to type systems and composite types

Includes updated and re-worked coverage of overloading, coercion, and polymorphism

Presents new examples featuring the ARM and x86 64-bit architectures

作者简介

Michael L. Scott is a professor in the University of Rochester’s Department of Computer Science, which he chaired from 1996 to 1999. He is the designer of the Lynx distributed programming language and a co-designer of the Charlotte and Psyche parallel operating systems, the Bridge parallel file system, the Cashmere distributed shared memory system, and the MCS mutual exclusion lock. He received his Ph.D. from the University of Wisconsin-Madison in 1985.