Programming Language Pragmatics - Scott, Michael (Professor and past Chair

. .

Résumé :
Programming Language Pragmatics, Fourth Edition, is the most comprehensive and authoritative programming language textbook mailable today. It is acclaimed for its integrated treatment of language design and implementation, with an emphasis on the fundamental tradeoffs that continue to drive software development. The book provides readers with a solid foundation in the syntax, semantics, and pragmatics of the full range of programming languages. from traditional languages like C to the latest in functional, scripting, and object-oriented programming.This fourth edition has been heavily revised throughout. with expanded coverage of type systems and functional programming, a unified treatment of polymorphism. highlights of the newest language standards. and examples employing the latest machine architectures. Fourth edition features : Updated coverage of the most recent languages and standards, including C and C++14. Java 8. C# 5. Scala, Go. Swift, Python 3, and HTML 5 . Updated treatment of functional programming. with extensive coverage of OCaml . New chapters devoted to type systems and composite types . Unified and updated treatment of polymorphism in all its forms . New examples featuring the ARM and x86 64-bit architectures . Extensive online resources. including some 350 pages of advanced/optional material and working code for all the book's examples.

Biographie:
Michael L. Scott is a professor and past chair of the Department of Computer Science at the University of Rochester. In 2014-2015 he was a Visiting Scientist at Google. His research spans programming languages. operating systems and high-level computer architecture. with an emphasis on parallel and distributed computing. Technology from his group appears in a variety of commercial contents, including the Java standard library. A Fellow of the Association for Computing Machinery and of the Institute of Electrical and Electronics Engineers, he shared the 2006 ACM SIGACT/SIGOPS Edsger W. Dijkstra Prize in Distributed Computing. In 2001 he received the University of Rochester's Robert and Pamela Goergen Award or Distinguished Achievement and Artistry in Undergraduate Teaching.

Sommaire:

I. Foundations 1. Introduction 2. Programming Language Syntax 3. Names, Scopes, Bindings 4. Semantic Analysis 5. Target Machine Architecture

II. Core Issues in Language Design 6. Control Flow 7. Data Types 8. Composite Types 9. Subroutines and Control Abstraction 10. Data Abstraction and Object Orientation

III. Alternative Programming Models 11. Functional Languages 12. Logic Languages 13. Concurrency 14. Scripting Languages

IV. A Closer Look at Implementation 15. Building a Runnable Program 16. Run-time Program Management 17. Code Improvement