프로그래밍 언어론

제1장 기본적인 사항
1.1 프로그래밍 언어의 개념 학습 이유 = 2
1.2 프로그래밍 영역 = 5
1.3 언어 평가 기준 = 7
1.4 언어 설계에 미친 영향 = 19
1.5 언어 부류 = 23
1.6 언어 설계 절충 = 24
1.7 구현 방법 = 25
1.8 프로그래밍 환경 = 32
요약 = 33
복습문제 = 34
연습문제 = 35
제2장 프로그래밍 언어의 발전사
2.1 Zuse의 Plankalkul = 40
2.2 의사코드 = 41
2.3 IBM 704와 Fortran = 44
2.4 함수형 프로그래밍 : LISP = 50
2.5 정교화를 향한 첫 단계 : ALGOL 60 = 56
2.6 사무 기록의 전산화 : COBOL = 62
2.7 시분할의 발단 : BASIC = 67
INTERVIEW｜ALAN COOPER - 사용자 설계와 언어 설계 = 71
2.8 모든 사람을 위한 모든 것 : PL／I = 73
2.9 두 개의 초창기 동적 언어 : APL과 SNOBOL = 77
2.10 데이터 추상화의 발단 : SIMULA 67 = 78
2.11 직교적 설계 : ALGOL 68 = 79
2.12 ALGOL의 초창기 후손 언어들 = 81
2.13 논리 기반 프로그래밍 : Prolog = 86
2.14 역사상 최대 설계 노력 : Ada = 87
2.15 객체-지향 프로그래밍 : Smalltalk = 92
2.16 명령형 특징과 객체-지향 특징의 결합 : C＋＋ = 95
2.17 명령형-기반 객체-지향 언어 : Java = 99
2.18 스크립트 언어 = 103
2.19 기함.NET 언어 : C＃ = 111
2.20 마크업／프로그래밍의 하이브리드 언어 = 114
요약 = 116
참고문헌 = 116
복습문제 = 117
연습문제 = 119
프로그래밍 연습문제 = 121
제3장 구문과 의미론
3.1 서론 = 124
3.2 구문 기술의 일반적인 문제 = 125
3.3 구문 기술의 형식적 방법 = 127
3.4 속성 문법 = 143
3.5 프로그램 의미 기술 : 동적 의미론 = 149
요약 = 172
참고문헌 = 173
복습문제 = 173
연습문제 = 174
제4장 어휘 분석과 구문 분석
4.1 서론 = 180
4.2 어휘 분석 = 182
4.3 파싱 문제 = 191
4.4 재귀-하강 파싱 = 195
4.5 상향식 파싱 = 205
요약 = 213
복습문제 = 215
연습문제 = 216
프로그래밍 연습문제 = 217
제5장 이름, 바인딩, 영역
5.1 서론 = 220
5.2 이름 = 221
5.3 변수 = 224
5.4 바인딩의 개념 = 226
5.5 영역 = 235
5.6 영역과 존속기간 = 247
5.7 참조 환경 = 248
5.8 이름 상수 = 251
요약 = 253
복습문제 = 254
연습문제 = 255
프로그래밍 연습문제 = 260
제6장 데이터 타입
6.1 서론 = 262
6.2 기본 데이터 타입 = 264
6.3 문자 스트링 타입 = 268
6.4 사용자-정의 순서 타입 = 274
6.5 배열 타입 = 278
6.6 연상 배열 = 292
INTERVIEW｜ROBERTO IERUSALIMSCHY-Lua = 294
6.7 레코드 타입 = 297
6.8 튜플 타입 = 301
6.9 리스트 타입 = 302
6.10 공용체 타입 = 306
6.11 포인터 타입과 참조 타입 = 311
6.12 타입 검사 = 326
6.13 강 타입 = 326
6.14 타입 동등 = 328
6.15 이론과 데이터 타입 = 332
요약 = 334
참고문헌 = 336
복습문제 = 336
연습문제 = 338
프로그래밍 연습문제 = 339
제7장 식과 배정문
7.1 서론 = 342
7.2 진술식 = 343
7.3 중복 연산자 = 352
7.4 타입 변환 = 354
7.5 관계식과 불리안 식 = 357
7.6 단락회로 평가 = 360
7.7 배정문 = 362
7.8 혼합형 배정문 = 367
요약 = 367
복습문제 = 368
연습문제 = 369
프로그래밍 연습문제 = 371
제8장 문장-수준 제어 구조
8.1 서론 = 374
8.2 선택문 = 376
8.3 반복문 = 390
8.4 무조건 분기 = 404
8.5 보호 명령 = 406
8.6 결론 = 409
요약 = 410
복습문제 = 410
연습문제 = 411
프로그래밍 연습문제 = 412
제9장 부프로그램
9.1 서론 = 418
9.2 부프로그램의 원리 = 419
9.3 부프로그램의 설계 고려 사항 = 427
9.4 지역 참조 환경 = 428
9.5 매개변수-전달 방법 = 430
9.6 부프로그램 매개변수 = 449
9.7 간접 부프로그램 호출 = 451
9.8 중복 부프로그램 = 453
9.9 포괄형 부프로그램 = 454
9.10 함수의 설계 고려 사항 = 461
9.11 사용자-정의 중복 연산자 = 462
9.12 클로저 = 463
9.13 코루틴 = 465
요약 = 468
복습문제 = 469
연습문제 = 470
프로그래밍 연습문제 = 472
제10장 부프로그램의 구현
10.1 호출과 복귀의 일반적 의미 = 476
10.2 “단순” 부프로그램의 구현 = 477
10.3 스택-동적 지역 변수를 갖는 부프로그램의 구현 = 479
10.4 중첩 부프로그램 = 486
10.5 블록 = 494
10.6 동적-영역 규칙의 구현 = 496
요약 = 500
복습문제 = 500
연습문제 = 501
프로그래밍 연습문제 = 505
제11장 추상 데이터 타입과 캡슐화 구조
11.1 추상화의 개념 = 508
11.2 데이터 추상화의 소개 = 509
11.3 추상 데이터 타입의 설계 고려 사항 = 513
11.4 언어 예제 = 514
INTERVIEW｜BIARNE STROUSTURP-C＋＋: 탄생, 편재와 일반적인 비평 = 516
11.5 매개변수 추상 데이터 타입 = 540
11.6 캡슐화 구조 = 547
11.7 캡슐화 명칭 = 551
요약 = 556
복습문제 = 557
연습문제 = 559
프로그래밍 연습문제 = 560
제12장 객체-지향 프로그래밍
12.1 서론 = 562
12.2 객체-지향 프로그래밍 = 563
12.3 객체-지향 언어의 설계 고려 사항 = 567
12.4 Smalltalk에서 객체-지향 프로그래밍 = 572
INTERVIEW｜BIARNE STROUSTURP - 패러다임과 보다 좋은 프로그래밍 = 574
12.5 C＋＋에서 객체-지향 프로그래밍 = 577
12.6 Objective-C에서 객체-지향 프로그래밍 = 588
12.7 Java에서 객체-지향 프로그래밍 = 590
12.8 C＃에서 객체-지향 프로그래밍 = 597
12.9 Ada 95에서 객체-지향 프로그래밍 = 599
12.10 Ruby에서 객체-지향 프로그래밍 = 604
12.11 객체-지향 구조의 구현 = 607
요약 = 610
복습문제 = 612
연습문제 = 614
프로그래밍 연습문제 = 615
제13장 동시성
13.1 서론 = 618
13.2 부프로그램-수준 동시성 = 623
13.3 세마포어 = 629
13.4 모니터 = 634
13.5 메시지 전달 = 636
13.6 동시성을 위한 Ada 지원 = 638
13.7 Java 쓰레드 = 648
13.8 C＃ 쓰레드 = 660
13.9 함수형 언어에서 동시성 = 664
13.10 문장-수준 동시성 = 668
요약 = 670
참고문헌 = 672
복습문제 = 672
연습문제 = 675
프로그래밍 연습문제 = 675
제14장 예외 처리와 이벤트 처리
14.1 예외 처리의 소개 = 678
14.2 Ada에서 예외 처리 = 688
14.3 C＋＋에서 예외 처리 = 692
14.4 Java에서 예외 처리 = 697
14.5 이벤트 처리의 소개 = 706
14.6 자바에서 이벤트 처리 = 707
14.7 C＃에서 이벤트 처리 = 712
요약 = 716
참고문헌 = 717
복습문제 = 717
연습문제 = 718
프로그래밍 연습문제 = 720
제15장 함수형 프로그래밍 언어
15.1 서론 = 724
15.2 수학 함수 = 726
15.3 함수형 프로그래밍 언어의 원리 = 728
15.4 첫 함수형 프로그래밍 언어 : LISP = 729
15.5 Scheme의 소개 = 733
15.6 Common LISP = 753
15.7 ML = 755
15.8 Haskell = 761
15.9 F＃ = 766
15.10. 주요 명령형 언어의 함수형 프로그래밍을 위한 지원 = 770
15.11 함수형 언어와 명령형 언어의 비교 = 772
요약 = 774
참고문헌 = 775
복습문제 = 776
연습문제 = 778
프로그래밍 연습문제 = 779
제16장 논리형 프로그래밍 언어
16.1 서론 = 782
16.2 술어 해석학의 간단한 소개 = 783
16.3 술어 해석학과 정리 증명 = 786
16.4 논리형 프로그래밍의 개관 = 789
16.5 Prolog의 기원 = 791
16.6 Prolog의 기본 원소 = 791
16.7 Prolog의 결점 = 808
16.8 논리형 프로그래밍의 응용 = 813
요약 = 815
참고문헌 = 816
복습문제 = 816
연습문제 = 817
프로그래밍 연습문제 = 818
참고문헌 = 819
찾아보기 = 829