추가 적립 안내

[머리말]

전체적으로 이 새로운 개정판은 프로그래밍 언어의 원리, 패러다임, 특별주제를 넓고 깊게 포함하고 있다. 결과적으로 이 책은 총 18장이 되었다. 프로그래밍 언어 강좌에서 어떤 부분이 강조되어야 하는지 강사에 따라 견지가 다를 것이므로, 이 책은 다양한 옵션을 제공하고 있다.

1999년 이 책의 초판을 집필하기 시작한 이래 프로그래밍 언어 연구는 빠르게 진화해왔다. 예를 들어, Java는 컴퓨터과학 교과과정에서 주요 언어로 자리 잡았다. 애자일(Agile) 프로그래밍은 일관성 있는 소프트웨어 설계 방식으로 자리 잡고 있으며, 그에 맞는 언어는 전통적인 프로그래밍 방식에 맞는 언어와는 다르다. 소프트웨어 설계에서 정형기법의 사용은 주류로 자리 잡기 시작했으며, 이제 상당히 중요하게 취급받고 있다.
이와 같이 최근에 등장한 새로운 움직임에 발맞추기 위해서, 이 개정판은 현세대와 차세대 프로그래밍 언어 설계에 수반되는 새로운 도전에 부응하도록 기획되었다.
앞부분(2~11장)에서 다루는 언어 설계 원칙을 개정판에서는 대폭 확장하였다. (Python과 Perl과 같은) 현대 언어의 새로운 예를 통한 약식 설명을 추가하였다. (Pascal과 Modula와 같이) 더 이상 널리 사용되지 않는 재래식 언어는 제외하였다.
프로그래밍 언어의 구문구조, 이름, 타입, 의미구조, 함수에 대한 핵심 원리는 2, 4, 5, 7, 9장에서 각각 다룬다. 여기에서는 초판보다 더 넓고 깊은 언어와 예제를 선택하여 이 원리를 실전적으로 이해하도록 하였다.
구문구조, 타입시스템, 의미구조, 함수, 메모리관리의 구현 방식에 관심 있는 독자들을 위해서 3, 6, 8, 10, 11장을 동반해서 공부할 읽을거리로 추가하였다. 이 장들은 관련 핵심 원리를 더 세밀하게 이해하고 싶은 경우 선택적으로 읽어볼 수 있을 것이다. 예를 들어, 2장에서 구문구조의 원리를 공부한 다음, 3장에서 컴파일러의 어휘적, 구문적 단계를 공부하여 이해를 높일 수 있다. 프로그래밍 언어 입문 교과목에서는 이 장들의 일부 또는 전체를 빠트려도 큰 무리가 없다.
이 중에서 3장에는 수학적으로 좀 더 엄밀하게 다루는 절들을 옵션으로 포함시켰다. 이 절들은 이 문단의 앞에 표시된 것과 같이 그래픽 모양으로 옵션이라는 표시를 붙여놓았다. 부록 B에는 이 절들을 읽는 학생들이 바로 참조할 수 있게 이산수학의 주요 주제와 표기법을 요약해놓았다.
끝으로, 특별 주제를 다루는 16, 17, 18장에서는 이벤트 처리, 동시성, 프로그램 정확성의 연구에 대해서 자세히 소개한다. 초판에서는 이 중 두 가지(이벤트 처리와 동시성)만 소개하였고, 정확성에 대한 장을 개정판에 추가하였다.
전체적으로 이 새로운 개정판은 프로그래밍 언어의 원리, 패러다임, 특별주제를 넓고 깊게 포함하고 있다. 결과적으로 이 책은 총 18장이 되었다. 프로그래밍 언어 강좌에서 어떤 부분이 강조되어야 하는지 강사에 따라 견지가 다를 것이므로, 이 책은 다양한 옵션을 제공하고 있다.

1999년 이 책의 초판을 집필하기 시작한 이래 프로그래밍 언어 연구는 빠르게 진화해왔다. 예를 들어, Java는 컴퓨터과학 교과과정에서 주요 언어로 자리 잡았다. 애자일(Agile) 프로그래밍은 일관성 있는 소프트웨어 설계 방식으로 자리 잡고 있으며, 그에 맞는 언어는 전통적인 프로그래밍 방식에 맞는 언어와는 다르다. 소프트웨어 설계에서 정형기법의 사용은 주류로 자리 잡기 시작했으며, 이제 상당히 중요하게 취급받고 있다.
이와 같이 최근에 등장한 새로운 움직임에 발맞추기 위해서, 이 개정판은 현세대와 차세대 프로그래밍 언어 설계에 수반되는 새로운 도전에 부응하도록 기획되었다.
앞부분(2~11장)에서 다루는 언어 설계 원칙을 개정판에서는 대폭 확장하였다. (Python과 Perl과 같은) 현대 언어의 새로운 예를 통한 약식 설명을 추가하였다. (Pascal과 Modula와 같이) 더 이상 널리 사용되지 않는 재래식 언어는 제외하였다.
프로그래밍 언어의 구문구조, 이름, 타입, 의미구조, 함수에 대한 핵심 원리는 2, 4, 5, 7, 9장에서 각각 다룬다. 여기에서는 초판보다 더 넓고 깊은 언어와 예제를 선택하여 이 원리를 실전적으로 이해하도록 하였다.
구문구조, 타입시스템, 의미구조, 함수, 메모리관리의 구현 방식에 관심 있는 독자들을 위해서 3, 6, 8, 10, 11장을 동반해서 공부할 읽을거리로 추가하였다. 이 장들은 관련 핵심 원리를 더 세밀하게 이해하고 싶은 경우 선택적으로 읽어볼 수 있을 것이다. 예를 들어, 2장에서 구문구조의 원리를 공부한 다음, 3장에서 컴파일러의 어휘적, 구문적 단계를 공부하여 이해를 높일 수 있다. 프로그래밍 언어 입문 교과목에서는 이 장들의 일부 또는 전체를 빠트려도 큰 무리가 없다.
이 중에서 3장에는 수학적으로 좀 더 엄밀하게 다루는 절들을 옵션으로 포함시켰다. 이 절들은 이 문단의 앞에 표시된 것과 같이 그래픽 모양으로 옵션이라는 표시를 붙여놓았다. 부록 B에는 이 절들을 읽는 학생들이 바로 참조할 수 있게 이산수학의 주요 주제와 표기법을 요약해놓았다.
끝으로, 특별 주제를 다루는 16, 17, 18장에서는 이벤트 처리, 동시성, 프로그램 정확성의 연구에 대해서 자세히 소개한다. 초판에서는 이 중 두 가지(이벤트 처리와 동시성)만 소개하였고, 정확성에 대한 장을 개정판에 추가하였다.
전체적으로 이 새로운 개정판은 프로그래밍 언어의 원리, 패러다임, 특별주제를 넓고 깊게 포함하고 있다. 결과적으로 이 책은 총 18장이 되었다. 프로그래밍 언어 강좌에서 어떤 부분이 강조되어야 하는지 강사에 따라 견지가 다를 것이므로, 이 책은 다양한 옵션을 제공하고 있다.

■ 강조 사항
이 교재는 프로그래밍 언어 설계에서 주요한 이슈를 철저하고 실전적으로 다루도록 강조한다. 강사와 학생이 설명을 통한 경험과 구현을 통한 경험을 동시에 쌓을 수 있도록 하였다. 구현을 통한 경험으로, C의 적절한 일부로 구성된 Clite 언어(정의는 부록 A 참조)를 설계하고 구현하여 실질적인 실험을 해볼 수 있게 하였다.
앞에서 언급했듯이, 이 개정판은 주요 프로그래밍 패러다임을 더 광범위하게 다루고 있다. 패러다임을 정복하고 싶은 학생은 그 패러다임을 사용하여 프로그래밍 문제를 능동적으로 풀어봐야 한다고 믿는다. 예를 들어, 함수형 프로그래밍의 경험이 없는 학생은 적절한 프로그래밍 프로젝트를 완료할 수 있을 만큼 Scheme 또는 Haskell을 배우기를 추천한다. 다음은 이 책을 리뷰한 한 분의 조언을 그대로 따온 것이다.
패러다임을 이해하기 위해서는 반드시 그 패러다임을 직접 체험해 보아야 한다. 한편 이산수학이나 AI 과목에서 이미 함수형 프로그래밍을 익혔으면, 이 장을 건너뛰고 다른 패러다임이나 특별 주제를 대신 선택해도 상관없을 것이다.

■ 과목 구조
이 교재는 다음과 같이 3개의 주요 부분으로 구성된다.
?원리
?패러다임
?특별 주제
첫 번째 부분인 2, 4,
5, 7, 9장은 5가지 핵심 원리인 구문구조, 이름, 타입, 의미구조, 함수에 대해서 다룬다. 이 부분의 나머지 장들(3, 6, 8, 10, 11장)은 주제를 더 깊이 다루고 싶은 경우 추가할 수 있다. 고급 또는 대학원 과정에서는 이 나머지 부분을 대부분 포함시키고, 대신 뒷부분을 적당히 넘어갈 수도 있다.
이 교재의 두 번째 부분은 다음과 같은 네 가지 주요 프로그래밍 패러다임을 다룬다.
?명령형 패러다임
?객체지향 패러다임
?함수형 패러다임
?논리형 패러다임
이 장들은 상대적으로 서로 독립적이기 때문에 순서에 관계없이 공부할 수 있다. 한 학기 과정에서는 원리를 공부한 뒤 보통 이 부분을 1~2장 정도 포함한다. 어떤 패러다임을 선택할 지는 물론 강사의 취향과 교과과정의 다른 과목의 내용에 따라 달라질 수 있다. 예를 들어, 교과과정에 객체지향 설계 과목이 개설되어 있다면 13장은 생략해도 무방할 것이다.
12장은 이 개정판에서 새로 추가된 장으로, 세 가지 다른 언어인 C, Ada, Perl의 명령형 프로그래밍 주요 기능을 소개한다. C는 취약한 타입시스템으로 인하여 야기되는 문제점을 보여주기 위해서 선택하였다. 반면, Ada는 타입시스템이 엄격하므로 C와 비교할 수 있어서 선택하였다. 마지막으로 Perl은 동적으로 타입을 정하는 스크립트 언어를 설명하기 위해서 선택하였다. 12장을 가르칠 강사에게는 학생들에게 생소한 언어를 최소한 하나 선택하여 프로그래밍 프로젝트를 통하여 깊게 공부하도록 유도하기를 권장한다.
13장은 초판과는 판이하게 대폭 개정하였다. 객체지향 언어의 기능들을 Java, Smalltalk, Python을 통하여 공부하게 하였다. Smalltalk은 언어의 단순함 때문에, Java는 널리 사용되기 때문에, Python은 스크립트 응용 프로그램에서의 민첩성 때문에 선택하였다. 프로그래밍 개론 시간에 Java 언어를 사용하였으나, 객체지향 설계와 프로그래밍 과목을 수강하지 않은 학생들은 다른 두 언어 중에서 하나를 배우면 좋을 것이다. 객체지향 패러다임은 미래에도 계속해서 중요한 패러다임으로 남아있을 것이기 때문이다.
함수형과 논리형 패러다임(14, 15장)은 언어의 응용 대상과 특이한 프로그래밍 스타일로 인하여 계속 남아있을 것이다. 함수형 프로그래밍은 Scheme과 Haskell을 동시에 다루어, 학생들이 둘 중 하나를 선택하더라도 함수형 언어의 개념을 익힐 수 있도록 하였다.
이 교재의 세 번째 부분은 다음과 같은 특별 주제를 다룬다.
?이벤트 처리
?동시성
?정확성
학부의 프로그래밍 언어 강의에서 보통 이들 중 하나 이상 배울 시간이 없다. 이 들 중에서 어떤 주제가 교과과정에 포함되어 있는지 여부가 프로그래밍 언어 강의에 어떤 주제를 다룰 것인지를 결정하는 데 도움이 될 것이다.
16, 17장의 이벤트 처리와 동시성은 프로그래밍 언어의 공부를 통해서 개념을 잘 익힐 수 있는 흔하지 않는 제어 이슈이다. 둘 다 다양한 프로그래밍 응용 분야(특히, 과학 계산과 내장형 시스템)에서 점차 많이 대두되고 있다. 이 분야에서 학생들이 배워야 하는 주요 주제는 통신, 교착상태, 메시지 전달, 비결정성, 이벤트 처리, 프로세스 간 통신과 이러한 주제들이 자주 등장하는 (예를 들어, 운영체제, GUI 상호작용, 홈 경보시스템과 같은) 다양한 응용프로그램이다.
마지막으로 최근에 개발된 정형기법을 위한 프로그래밍 언어 지원 도구를 설명할 18장(정확성)을 새로 추가한 것이 자랑스럽다. 실례로, Spark Ada의 개발자가 정형증명 기술을 사용하여 생산성을 3~5배 높였고, 버그의 개수를 100배 줄였다는 보고가 있다[Barnes, 2003]. (객체지향 프로그래밍이 현재 매우 중요하게 되었듯이) 소프트웨어 설계에 정형기법의 지원이 미래의 프로그래밍 언어에 점차적으로 더 중요해질 것이라고 믿기 때문에, 강사분들이 이 장을 교과과정에 반드시 포함시키리라 기대한다.
18장에서는
공리적 의미구조[Hoare, 1969]를 검토한 후, 이를 사용하여 명령형 프로그램을 검증해본다. 계약서 부착 설계[Meyer, 1988]의 개념을 공부하여 이 이론을 확장하고, JML을 사용하여 응용해본다. 이 장에서는 구조적 귀납법과 이를 사용하여 함수형 프로그램의 정확성을 증명해보기도 한다.
뒷부분에 나오는 주제의 일부는 프로그래밍 언어와 패러다임이 아니라 다른 과목에서 다루어야 한다고 이의를 제기할 수도 있다. 예를 들어, 동시성, 이벤트 구동 프로그래밍, 프로그램 정확성 각각을 모두 하나의 과목으로 개설할 수도 있다. 게다가, 3, 6, 8, 10, 11장의 내용은 컴파일러 과목을 위한 기초로 봐도 무방하다. 대부분의 학부 프로그램이 이러한 주제를 하나의 독립된 과목으로 개설하고 있지 않기 때문에, 이 교재에서는 프로그래밍 언어 과목에서 이러한 주제들을 소개하는 기회를 제공하는 것이다.

■ 선수과목 및 기타 안내
이 과목을 수강하는 학생은 최소한 기초 프로그래밍 과목과 자료구조 과목을 이수했어야 한다. 자료구조 과목에서 다루는 연결된 리스트, 스택, 가변 배열, 해시테이블을 이해하고 있어야 한다. 구현이 중심이 되는 3, 6, 8, 16, 17장을 교과에 포함시키는 경우 Java 언어에 대한 지식이 필수적이다. Java를 모른다면 자료구조 과목에서 C, C++, C# 프로그래밍 경험은 최소한 있어야 한다.
학생들에게는 좋은 Java 자습서, 참고 매뉴얼, 프로그래밍 환경을 찾아보는 것도 권한다. 좋은 자습서와 참고서는 웹에서 쉽게 찾을 수 있다(예: http://java.sun.com/ docs/books/tutorial/). 이 책의 내용은 주로 Java 1.4와 1.5의 기능을 중심으로 하고 있다.
이 교재는 컴퓨팅 교과과정 2001(Computing Curricula 2001)[CC2001, 2001]의 추천을 그대로 따른다. 교양과목 모델 교과과정(Liberal Arts Model Curriculum)[Walker-Schneider, 1996]과 2005년 개정판(www.lacs.edu)에서 제시한 프로그래밍 언어 과목의 주제도 모두 망라한다.
컴퓨팅 교과과정 2001에서 필수항목으로 지정된 프로그래밍 언어 부분의 주제(PL1과 PL11)를 이 교재는 모두 포함한다. 필수항목의 다른 주제인 이벤트구동 및 동시 프로그래밍(PF6), 메모리관리(OS5), 함수형 및 논리형 프로그래밍(IS), 소프트웨어공학(SE)도 취급한다. 이 교재는 컴퓨팅 교과과정 2001이 요구한 것보다 훨씬 더 깊이 각 주제를 다룬다.

■ 언어 관련 자료 및 웹사이트
이 교재에서 사용하는 소프트웨어는 Java 1.5 이상의 버전으로 실행 가능하다. 썬(Sun) 사의 Java 1.5 버전을 사용하여 이 책의 Java 소프트웨어를 구현했다. 이 책에서 사용하는 주요 언어의 자습서 및 다른 정보에 대해서 추천하는 웹 기반 사이트 리스트는 다음과 같다.

언어 -- 웹 사이트
Ada -- gnu.org
C, C++ -- gnu.org
Haskell -- haskell.org
Java1.5 -- java.sun.com
Perl -- perl.com
Prolog -- swi-prolog.org
Python -- python.org
Scheme -- drscheme.org
Smalltalk -- squeak.org

소프트웨어와 이 교재에서 나오는 다른 지원도구는 웹사이트 www.mhhe.com/tucker에서 다운 가능한데, 다음과 같은 자료를 제공하고 있다.
?Clite의 구문구조, 타입시스템, 의미구조에 대한 Java 구현 소스코드
?이 교재에 나오는 실행가능한 프로그램 코드
?강의 지원을 위한 파워포인트 강의용 슬라이드
?연습문제 해답 (강사에게만 제공 가능)

1장 소개
1.1 원리
1.2 패러다임
1.3 주요 개념
1.4 역사
1.5 언어의 설계에 대하여
1.6 컴파일러와 가상기계
1.7 복습
연습문제

2장 구문구조
2.1 문법
2.2 확장 BNF
2.3 소규모 언어 Clite의 구문구조
2.4 컴파일러와 실행기
2.5 구문구조와 의미구조 연결
2.6 요약
연습문제

3장 어휘 및 구문 분석
3.1 촘스키 분류
3.2 어휘 분석
3.3 구문 분석
3.4 요약
연습문제

4장 이름
4.1 구문 문제
4.2 변수
4.3 유효범위
4.4 기호표
4.5 주소의 도출
4.6 동적 유효범위
4.7 가시도
4.8 중복
4.9 수명
4.10 요약
연습문제

5장 타입
5.1 타입 오류
5.2 정적 및 동적 타입 결정
5.3 기본 타입
5.4 복합 타입
5.5 재귀적 데이터 타입
5.6 타입으로서의 함수
5.7 타입 동등성
5.8 하위 타입
5.9 다형성과 통칭
5.10 프로그래머가 정의한 타입
5.11 요약
연습문제

6장 타입 시스템
6.1 Clite를 위한 타입 시스템
6.2 자동 타입 변환
6.3 Clite 타입 시스템의 정형화
6.4 요약
연습문제

7장 의미구조
7.1 동기
7.2 계산식의 의미구조
7.3 프로그램 상태
7.4 저장문의 의미구조
7.5 제어 흐름 의미구조
7.6 입출력 의미구조
7.7 예외 처리의 의미구조
7.8 요약
연습문제

8장 의미의 해석
8.1 상태 전이와 부분 함수
8.2 Clite의 의미구조
8.3 동적으로 타입을 결정하는 언어의 의미구조
8.4 의미구조의 정형화
8.5 요약
연습문제

9장 함수
9.1 기본 용어
9.2 함수 호출과 복귀
9.3 매개변수
9.4 매개변수 전달 방법
9.5 활성 레코드
9.6 재귀 함수
9.7 실행시간 스택
9.8 요약
연습문제

10장 함수의 구현
10.1 Clite에서의 함수의 선언과 호출
10.2 Clite 타입 체계의 완성
10.3 함수 호출과 복귀의 의미구조
10.4 타입과 의미구조의 정형적인 표현
10.5 요약
연습문제

11장 메모리 관리
11.1 힙
11.2 동적 배열의 구현
11.3 메모리 수거
11.4 요약
연습문제

12장 명령중심 프로그래밍
12.1 명령중심 언어를 구성하는 것은 무엇인가?
12.2 프로시저 추상화
12.3 계산식과 저장문
12.4 자료 구조를 위한 라이브러리 지원
12.5 명령중심 프로그래밍과 C
12.6 명령중심 프로그래밍과 Ada
12.7 명령중심 프로그래밍과 Perl
12.8 요약
연습문제

13장 객체지향 프로그래밍
13.1 전주곡: 추상 데이터 타입
13.2 객체 모델
13.3 Smalltalk
13.4 Java
13.5 Python
13.6 요약
연습문제

14장 함수형 프로그래밍
14.1 함수와 람다 계산법
14.2 Scheme
14.3 HASKELL
14.4 요약
연습문제

15장 논리형 프로그래밍
15.1 논리와 혼 절
15.2 Prolog 논리형 프로그래밍
15.3 Prolog 예제
15.4 요약
연습문제

16장 이벤트 구동 프로그래밍
16.1 이벤트 구동 제어
16.2 이벤트 처리
16.3 세 가지 사례
16.4 기타 이벤트 구동 응용 프로그램
16.5 복습
연습문제

17장 동시 프로그래밍
17.1 동시성 개념
17.2 동기화 전략
17.3 Java에서의 동기화
17.4 프로세스 간 통신
17.5 다른 언어에서의 동시성
17.6 요약
연습문제

18장 프로그램의 정확성
18.1 공리 의미구조
18.2 정형기법 도구: JML
18.3 객체지향 프로그램의 정확성
18.4 함수형 프로그램의 정확성
18.5 요약
연습문제

부록A Clite정의
A.1 Clite의 어휘 및 실제 구문구조
A.2 Clite의 추상 구문구조
A.3 Clite의 타입체계
A.4 Clite의 의미구조
A.5 Clite에 함수 추가하기

부록B 이산 수학
B.1 집합과 관계
B.2 그래프
B.3 논리
B.4 추론 규칙과 직접 증명
B.5 귀납 증명

찾아보기

1장 소개
1.1 원리
1.2 패러다임
1.3 주요 개념
1.4 역사
1.5 언어의 설계에 대하여
1.6 컴파일러와 가상기계
1.7 복습
연습문제

2장 구문구조
2.1 문법
2.2 확장 BNF
2.3 소규모 언어 Clite의 구문구조
2.4 컴파일러와 실행기
2.5 구문구조와 의미구조 연결
2.6 요약
연습문제

3장 어휘 및 구문 분석
3.1 촘스키 분류
3.2 어휘 분석
3.3 구문 분석
3.4 요약
연습문제

4장 이름
4.1 구문 문제
4.2 변수
4.3 유효범위
4.4 기호표
4.5 주소의 도출
4.6 동적 유효범위
4.7 가시도
4.8 중복
4.9 수명
4.10 요약
연습문제

5장 타입
5.1 타입 오류
5.2 정적 및 동적 타입 결정
5.3 기본 타입
5.4 복합 타입
5.5 재귀적 데이터 타입
5.6 타입으로서의 함수
5.7 타입 동등성
5.8 하위 타입
5.9 다형성과 통칭
5.10 프로그래머가 정의한 타입
5.11 요약
연습문제

6장 타입 시스템
6.1 Clite를 위한 타입 시스템
6.2 자동 타입 변환
6.3 Clite 타입 시스템의 정형화
6.4 요약
연습문제

7장 의미구조
7.1 동기
7.2 계산식의 의미구조
7.3 프로그램 상태
7.4 저장문의 의미구조
7.5 제어 흐름 의미구조
7.6 입출력 의미구조
7.7 예외 처리의 의미구조
7.8 요약
연습문제

8장 의미의 해석
8.1 상태 전이와 부분 함수
8.2 Clite의 의미구조
8.3 동적으로 타입을 결정하는 언어의 의미구조
8.4 의미구조의 정형화
8.5 요약
연습문제

9장 함수
9.1 기본 용어
9.2 함수 호출과 복귀
9.3 매개변수
9.4 매개변수 전달 방법
9.5 활성 레코드
9.6 재귀 함수
9.7 실행시간 스택
9.8 요약
연습문제

10장 함수의 구현
10.1 Clite에서의 함수의 선언과 호출
10.2 Clite 타입 체계의 완성
10.3 함수 호출과 복귀의 의미구조
10.4 타입과 의미구조의 정형적인 표현
10.5 요약
연습문제

11장 메모리 관리
11.1 힙
11.2 동적 배열의 구현
11.3 메모리 수거
11.4 요약
연습문제

12장 명령중심 프로그래밍
12.1 명령중심 언어를 구성하는 것은 무엇인가?
12.2 프로시저 추상화
12.3 계산식과 저장문
12.4 자료 구조를 위한 라이브러리 지원
12.5 명령중심 프로그래밍과 C
12.6 명령중심 프로그래밍과 Ada
12.7 명령중심 프로그래밍과 Perl
12.8 요약
연습문제

13장 객체지향 프로그래밍
13.1 전주곡: 추상 데이터 타입
13.2 객체 모델
13.3 Smalltalk
13.4 Java
13.5 Python
13.6 요약
연습문제

14장 함수형 프로그래밍
14.1 함수와 람다 계산법
14.2 Scheme
14.3 HASKELL
14.4 요약
연습문제

15장 논리형 프로그래밍
15.1 논리와 혼 절
15.2 Prolog 논리형 프로그래밍
15.3 Prolog 예제
15.4 요약
연습문제

16장 이벤트 구동 프로그래밍
16.1 이벤트 구동 제어
16.2 이벤트 처리
16.3 세 가지 사례
16.4 기타 이벤트 구동 응용 프로그램
16.5 복습
연습문제

17장 동시 프로그래밍
17.1 동시성 개념
17.2 동기화 전략
17.3 Java에서의 동기화
17.4 프로세스 간 통신
17.5 다른 언어에서의 동시성
17.6 요약
연습문제

18장 프로그램의 정확성
18.1 공리 의미구조
18.2 정형기법 도구: JML
18.3 객체지향 프로그램의 정확성
18.4 함수형 프로그램의 정확성
18.5 요약
연습문제

부록A Clite정의
A.1 Clite의 어휘 및 실제 구문구조
A.2 Clite의 추상 구문구조
A.3 Clite의 타입체계
A.4 Clite의 의미구조
A.5 Clite에 함수 추가하기

부록B 이산 수학
B.1 집합과 관계
B.2 그래프
B.3 논리
B.4 추론 규칙과 직접 증명
B.5 귀납 증명

찾아보기

프로그래밍 언어론은 컴퓨터과학 전공의 필수 요소로서 프로그래밍 언어의 설계 및 구현에 대한 원리와 다양한 언어 패러다임의 본질을 이해하도록 하고 있다. 이러한 원리와 본질을 제대로 이해하게 되면 복잡하고 방대한 소프트웨어를 견고하고 효율적으로 개발할 수 있는 기본기를 갖추게 된다.

이 책은 컴퓨터과학 전공의 프로그래밍 언어론 강의 교재용으로 1999년에 처음 발간된 후, 2007년에 대폭 확장 및 개정되어 발간된 Allen B. Tucker와 Robert E. Noonan 교수의 "Programming Languages: Principles and Paradigms"를 우리말로 옮겨놓은 것이다. 이 개정판은 빠르게 진화하는 프로그래밍 언어의 연구 결과 및 산업 동향을 총망라하고 있고, 중요한 개념들을 다양한 예제를 통하여 비교적 쉽게 설명하고 있다. 따라서 학부 또는 대학원의 프로그래밍 언어론 강의 교재나 프로그래밍 언어의 원리 및 패러다임의 최신 동향을 이해하여 탄탄한 기본기를 갖추기를 희망하는 소프트웨어 개발자를 위한 참고서로서 적합한 책이다.

이 책은 프로그래밍 언어의 기본 요소와 다양한 패러다임에 덧붙여 프로그래밍 언어의 최신 기술인 프로그램 검증까지 포함하고 있다. 프로그래밍 언어의 기본 요소로 구문구조, 타입 시스템, 의미구조, 함수 구현, 메모리 관리를 설명하고, 프로그래밍 언어 패러다임으로는 명령형 프로그래밍, 객체지향 프로그래밍, 함수 프로그래밍, 논리 프로그래밍, 이벤트 구동 프로그래밍, 동시 프로그래밍을 소개한다.

이 책을 번역하면서 될 수 있으면 원서의 내용에 충실하면서 정확하게 의미를 전달하도록 노력하였으며 빠진 부분 없이 모두 번역하였다. 원서의 용어는 의미가 가장 가까우면서 자연스러운 우리말 용어를 선택하여 사용하였다.

이 번역본이 국내 컴퓨터과학도와 소프트웨어 설계 및 개발자가 프로그래밍 언어의 원리를 이해하는 데 조금이나마 기여할 수 있기를 기대해본다. 그리고 이 교재의 번역을 처음부터 기획하고 제작한 생능출판사의 관계자 여러분 모두께 감사의 말씀을 전한다.