프로그래밍 언어론 원리 + 유형

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 귀납 증명

찾아보기