| 000 | 00828camuu22002534a 4500 | |
| 001 | 000000879714 | |
| 005 | 20040503153629 | |
| 008 | 990826s2000 caua b 001 0 eng | |
| 010 | ▼a 99047125 | |
| 020 | ▼a 1558604421 (hardback) | |
| 020 | ▼a 1558605789 (paperback) | |
| 040 | ▼a DLC ▼c DLC ▼d UKM ▼d C#P ▼d 211009 | |
| 042 | ▼a pcc | |
| 049 | 1 | ▼l 111283877 |
| 050 | 0 0 | ▼a QA76.7 ▼b .S38 2000 |
| 082 | 0 0 | ▼a 005.13 ▼2 21 |
| 090 | ▼a 005.13 ▼b S428p | |
| 100 | 1 | ▼a Scott, Michael Lee, ▼d 1959- |
| 245 | 1 0 | ▼a Programming language pragmatics / ▼c Michael L. Scott. |
| 260 | ▼a San Francisco : ▼b Morgan Kaufmann, ▼c c2000. | |
| 300 | ▼a xxi, 856 p. : ▼b ill. ; ▼c 25 cm. | |
| 504 | ▼a Includes bibliographical references (p. [801]-825) and index. | |
| 650 | 0 | ▼a Programming languages (Electronic computers) |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Main Library/Western Books/ | Call Number 005.13 S428p | Accession No. 111283877 (2회 대출) | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Book Introduction
Programming Language Pragmatics addresses the fundamental principles at work in the most important contemporary languages, highlights the critical relationship between language design and language implementation, and devotes special attention to issues of importance to the expert programmer. Thanks to its rigorous but accessible teaching style, you'll emerge better prepared to choose the best language for particular projects, to make more effective use of languages you already know, and to learn new languages quickly and completely.
Reviews
"Michael Scott's book could have been entitled: Why Programming Languages Work. It takes a fresh look at programming languages by bringing together ideas and techniques usually covered in disparate language design, compiler, computer architecture, and operating system courses. Its comprehensive and integrated presentation of language design and implementation illustrates and explains admirably the many deep and profitable connections among these fields." - Jim Larus, Microsoft ResearchFeature
* Addresses the most recent developments in programming language design, spanning more than forty different languages, including Ada 95, C, C++, Fortran 95, Java, Lisp, Scheme, ML, Modula-3, Pascal, and Prolog. * Places a special emphasis on implementation issues-how the techniques used by compilers and related tools influence language design, and vice versa. * Covers advanced topics in language design and implemenation, such as iterators, coroutines, templates (generics), separate compilation, I/O, type inference, and exception handling. * Reviews language-related topics in assembly-level architecture critical for understanding what a compiler does to a program. * Offers in-depth coverage of object-oriented programming, including multiple inheritance and dynamic method binding. * Devotes a special section to static and dynamic linking. * Includes a comprehensive chapter on concurrency, with detailed coverage of both shared-memory and message-passing languages and libraries. * Provides an accessible introduction to the formal foundations of compilation (automata theory), functional programming (lambda calculus), and logic programming (predicate calculus).Information Provided By: :
Author Introduction
마이클 스콧(지은이)
로체스터 대학의 교수며 컴퓨터 과학부의 학부장을 역임했다. 1985년에 위스콘신 메디슨 대학에서 컴퓨터 과학 박사학위를 받았다. 프로그래밍 언어, 운영체제, 고수준의 컴퓨터 구조가 접목되는 분야를 주로 연구하며, 특히 병렬 및 분산 컴퓨팅에 중점을 두고 있다. 링스(Lynx)라는 분산 프로그래밍 언어를 설계했으며 병렬 운영체제 샬럿(Charlotte)과 프시케(Psyche), 병렬 파일시스템 브릿지(Bridge), 공유 메모리 시스템 캐시미어(Cashmere)와 인터위브(InterWeave)를 공동 설계했다. 존 멜러 크러미와 공동 설계한 MCS 상호배제 잠금(MCS exclusion lock)은 다양한 상용이나 학문 목적의 시스템에 이용되었다. 메기드 마이클, 빌 쉐러와 함께 설계한 다양한 알고리즘은 java.util. concurrentstandard 라이브러리에 사용된다. 스콧 박사는 미국 컴퓨터 학회(ACM), 전기전자학회(IEEE), 사회적 책임을 위한 컴퓨터 전문가들 모임의 회원이다. 다양한 프로그램의 위원과 자격 교부 검토 위원을 맡아왔으며 NSF, ONR, DARPA, NASA, 에너지 및 국방부(the Department of Energy and Defense), 포드 파운데이션(Ford Foundation), 디지털 이큅먼트(Digital Equipment Corporation, 현재의 HP), 썬 마이크로시스템즈, 인텔, IBM 등에서 지원하는 프로젝트의 제1 연구자 혹은 공동 연구자로 활동해왔다. GRE의 컴퓨터 과학 분야 시험에 기여했으며, 95개의 논문을 발표했다. 2003년에는 ACM의 운영체제 원리에 대한 심포지엄에서 의장을 맡기도 했다. 1983년에 벨 연구소(Bell Lab)의 박사과정 장학금을 받았으며, 1986년에는 IBM의 능력 개발상을 받았다. 2001년에는 로체스터 대학에서의 우수한 업적 및 학부생 교육의 탁월함에 대한 로버트와 파멜라 괴르겐 상(Robert and Pamela Goergen Award for Distinguished Achievement and Artistry in Undergraduate Teaching)을 받았다.