기능목록>검색 : 해군사관학교 학술정보원

(새로 보는)프로그래밍 언어 : 개발자의 가치를 높이는 프로그래밍 언어 대백과

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	단행본
ISBN :	9788960770546
분류기호 :	005.13
개인저자 :	스콧, 마이클
서명/저자사항 :	(새로 보는)프로그래밍 언어: 개발자의 가치를 높이는 프로그래밍 언어 대백과/ 마이클 스콧 지음; 민병호,; 김진혁 옮김.
원서명 :	Programming language pragmatics
발행사항 :	의왕: 에이콘출판, 2008.
형태사항 :	1003 p.: 삽화; 25 cm+ 전자 광디스크(CD-ROM) 1매.
일반주기 :	원서의 2판을 번역함
일반주기 :	권말부록으로 "이 책에서 다룬 프로그래밍 언어" 등 수록
일반주기 :	Scott, Michael L.
서지주기 :	참고문헌: p. 951-970, 색인수록
개인저자 :	민병호
개인저자 :	김진혁
개인저자 :	Scott, Michael L.
분류기호 :	005.13
언어	한국어

소장정보

해군사관학교

예예약
인인쇄
SSMS
서서가부재
보보존서고
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

KMO200900142 권 호 :
발행년 : 2008
발행처 : 에이콘출판

서 명 : (새로 보는)프로그래밍 언어:개발자의 가치를 높이는 프로그래밍 언어 대백과

목차
서평 = 4
추천의 글 = 6
옮긴이의 말 = 8
옮긴이 소개 = 10
저자 소개 = 11
감사의 글 = 12
1부 프로그래밍 언어의 기초 = 36
01장 소개 = 39
1.1 언어 설계의 기술 = 41
1.2 프로그래밍 언어의 스펙트럼 = 45
1.3 프로그래밍 언어를 공부해야 하는 이유 = 47
1.4 컴파일과 해석 = 50
1.5 프로그래밍 환경 = 57
1.6 컴파일 개요 = 59
1.6.1 어휘 분석과 구문 분석 = 60
1.6.2 의미 분석과 중간 코드 생성 = 62
1.6.3 목표 코드 생성 = 65
1.6.4 코드 개선 = 67
1.7 정리 = 68
1.8 연습문제 = 69
1.9 탐구문제 = 71
1.10 참고자료 = 73
02장 프로그래밍 언어 구문 = 75
2.1 구문 명시: 정규식과 문맥 자유 문법 = 77
2.1.1 토큰과 정규식 = 77
2.1.2 문맥 자유 문법 = 80
2.1.3 유도와 구문 분석 트리 = 81
2.2 어휘 분석 = 85
2.2.1 유한 오토마타 생성 = 88
2.2.2 어휘 분석기의 코드 = 93
2.2.3 테이블 주도형 어휘 분석 = 97
2.2.4 어휘 오류 = 97
2.2.5 프래그마 = 99
2.3 구문 분석 = 101
2.3.1 재귀 하강 = 104
2.3.2 테이블 주도형 하향식 구문 분석 = 111
2.3.3 상향식 구문 분석 = 123
2.3.4 구문 오류 [CD-1] = 137
2.4 이론적 기초 사항 [CD-14] = 138
2.4.1 유한 오토마타 [CD-14]
2.4.2 푸쉬다운 오토마타 [CD-17]
2.4.3 문법과 언어 부류 [CD-18]
2.5 정리 = 139
2.6 연습문제 = 140
2.7 탐구문제 = 146
2.8 참고자료 = 147
03장 이름, 유효 범위, 바인딩 = 149
3.1 바인딩 시점의 의미 = 151
3.2 객체 수명과 저장 공간 관리 = 153
3.2.1 정적 할당 = 154
3.2.2 스택 기반 할당 = 156
3.2.3 힙 기반 할당 = 157
3.2.4 가비지 컬렉션 = 159
3.3 유효 범위 규칙 = 161
3.3.1 정적 유효 범위 = 162
3.3.2 중첩된 서브루틴 = 163
3.3.3 선언 순서 = 167
3.3.4 모듈 = 172
3.3.5 모듈 유형과 클래스 = 176
3.3.6 동적 유효 범위 = 179
3.4 유효 범위의 구현 [CD-23] = 183
3.4.1 심볼 테이블 [CD-23]
3.4.2 관계 리스트와 중앙 참조 테이블 [CD-27]
3.5 참조 환경의 바인딩 = 184
3.5.1 서브루틴 클로저 = 186
3.5.2 제1종 서브루틴과 제2종 서브루틴 = 188
3.6 유효 범위 내에서의 바인딩 = 190
3.6.1 별칭 = 190
3.6.2 다중 정의 = 192
3.6.3 다형성과 관련 개념 = 194
3.7 분리 컴파일 [CD-30] = 198
3.7.1 C의 분리 컴파일 [CD-31]
3.7.2 패키지와 자동 헤더 추론 [CD-34]
3.7.3 모듈 계층 [CD-35]
3.8 정리 = 199
3.9 연습문제 = 200
3.10 탐구문제 = 209
3.11 참고자료 = 212
04장 의미 분석 = 213
4.1 의미 분석기의 역할 = 214
4.2 속성 문법 = 218
4.3 속성 평가 = 220
4.4 동작 루틴 = 232
4.5 속성을 위한 저장 공간의 관리 [CD-37] = 234
4.5.1 상향식 평가 [CD-37]
4.5.2 하향식 평가 [CD-42]
4.6 구문 트리 장식 = 235
4.7 정리 = 241
4.8 연습문제 = 242
4.9 탐구문제 = 248
4.10 참고자료 = 250
05장 타겟 머신의 구조 = 251
5.1 메모리 계층 = 252
5.2 자료 표현 = 255
5.2.1 컴퓨터 산술 [CD-49] = 256
5.3 명령어 집합 구조 = 257
5.3.1 주소 지정 방식 = 258
5.3.2 조건과 분기 = 258
5.4 구조와 구현 = 261
5.4.1 마이크로프로그래밍 = 262
5.4.2 마이크로프로세서 = 263
5.4.3 RISC = 264
5.4.4 구조의 두 가지 예: x86과 MIPS [CD-55] = 265
5.4.5 유사 어셈블리 표기법 = 266
5.5 최신 프로세서를 위한 컴파일 = 267
5.5.1 파이프라인을 꽉 차게 유지 = 268
5.5.2 레지스터 할당 = 273
5.6 정리 = 279
5.7 연습문제 = 281
5.8 탐구문제 = 285
5.9 참고자료 = 288
2부 프로그래밍 언어의 핵심 요소 = 290
06장 제어 흐름 = 293
6.1 수식의 값 계산 = 294
6.1.1 우선순위와 결합법칙 = 296
6.1.2 대입 = 298
6.1.3 초기화 = 307
6.1.4 수식 내의 순서 결정 = 310
6.1.5 지름길 계산 = 313
6.2 구조화된 흐름과 구조화되지 않은 흐름 = 316
6.2.1 goto의 구조화된 대체자 = 317
6.2.2 재개 = 320
6.3 열거 = 321
6.4 선택 = 323
6.4.1 지름길화된 조건 = 324
6.4.2 Case／Switch문 = 326
6.5 반복 = 333
6.5.1 열거 제어형 루프 = 333
6.5.2 루프의 조합 = 340
6.5.3 반복자 = 341
6.5.4 아이콘의 생성기 [CD-62] = 348
6.5.5 논리 제어형 루프 = 348
6.6 재귀 = 352
6.6.1 반복과 재귀 = 352
6.6.2 적용 순서와 정규 순서 값 계산 = 356
6.7 비결정성 [CD-65] = 360
6.8 정리 = 361
6.9 연습문제 = 363
6.10 탐구문제 = 371
6.11 참고자료 = 373
07장 자료형 = 375
7.1 유형 시스템 = 376
7.1.1 유형 검사 = 377
7.1.2 다형성 = 377
7.1.3 유형의 정의 = 379
7.1.4 유형의 분류 = 380
7.1.5 직교성 = 387
7.2 유형 검사 = 389
7.2.1 유형 등가 = 390
7.2.2 유형 호환 = 397
7.2.3 유형 추론 = 402
7.2.4 ML의 유형 시스템 [CD-71] = 405
7.3 레코드(구조체)와 베리언트(공용체) = 406
7.3.1 구문과 연산 = 406
7.3.2 메모리 배치와 그 효과 = 408
7.3.3 with문 [CD-81] = 411
7.3.4 베리언트 레코드 = 412
7.4 배열 = 420
7.4.1 구문과 연산 = 421
7.4.2 차원, 범위와 할당 = 425
7.4.3 메모리 배치 = 430
7.5 문자열 = 438
7.6 집합 = 439
7.7 포인터와 재귀형 = 441
7.7.1 구문과 연산 = 442
7.7.2 댕글링 참조 = 451
7.7.3 가비지 컬렉션 = 455
7.8 리스트 = 462
7.9 파일과 입력／출력 [CD-65] = 465
7.9.1 상호작용적 I／O [CD-85]
7.9.2 파일 기반의 I／O [CD-86]
7.9.3 텍스트 I／O [CD-88]
7.10 등가 검사와 대입 = 466
7.11 정리 = 469
7.12 연습문제 = 471
7.13 탐구문제 = 479
7.14 참고자료 = 480
08장 서브루틴과 제어 추상화 = 483
8.1 스택 배치의 복습 = 484
8.2 호출 순서 = 486
8.2.1 디스플레이 [CD-97] = 489
8.2.2 사례 연구: MIPS상의 C, x86상의 파스칼 [CD-101] = 490
8.2.3 레지스터 윈도우 [CD-109] = 491
8.2.4 인라인 확장 = 491
8.3 매개변수 전달 = 494
8.3.1 매개변수 방식 = 495
8.3.2 이름에 의한 호출 [CD-112] = 501
8.3.3 특별한 목적의 매개변수 = 504
8.3.4 함수 복귀 = 510
8.4 제네릭 서브루틴과 모듈 = 512
8.4.1 구현 선택 사항 = 513
8.4.2 제네릭 매개변수의 제약 조건 = 516
8.4.3 묵시적인 인스턴스화 = 518
8.4.4. C++, 자바, C#에서의 제네릭 [CD-115] = 519
8.5 예외 처리 = 520
8.5.1 예외의 정의 = 522
8.5.2 예외 전파 = 524
8.5.3 예: 재귀 하강 구문 분석기에서 단계 수준 복구 = 528
8.5.4 예외의 구현 = 529
8.6 동시 실행 루틴 = 532
8.6.1 스택 할당 = 535
8.6.2 전이 = 536
8.6.3 반복자의 구현 [CD-126] = 538
8.6.4 분리적 이벤트 시뮬레이션 [CD-131] = 538
8.7 정리 = 539
8.8 연습문제 = 540
8.9 탐구문제 = 549
8.10 참고자료 = 551
09장 자료 추상화와 객체지향 = 553
9.1 객체지향 프로그래밍 = 555
9.2 캡슐화와 상속 = 566
9.2.1 모듈 = 567
9.2.2 클래스 = 570
9.2.3 유형 확장 = 572
9.3 초기화와 종결화 = 575
9.3.1 생성자의 선택 = 576
9.3.2 참조와 값 = 578
9.3.3 실행 순서 = 581
9.3.4 가비지 컬렉션 = 583
9.4 동적 메소드 바인딩 = 584
9.4.1 가상과 비가상 메소드 = 587
9.4.2 추상 클래스 = 588
9.4.3 멤버 검색 = 589
9.4.4 다형성 = 593
9.4.5 클로저 = 596
9.5 다중 상속 [CD-135] = 599
9.5.1 의미적 모호성 [CD-138]
9.5.2 중복 상속 [CD-141]
9.5.3 공유 상속 [CD-142]
9.5.4 혼합 상속 [CD-144]
9.6 객체지향 프로그래밍 다시 보기 = 600
9.6.1 스몰토크의 객체 모델 [CD-148] = 601
9.7 정리 = 601
9.8 연습문제 = 603
9.9 탐구문제 = 608
9.10 참고자료 = 609
3부 다른 관점에서 바라본 프로그래밍 모델 = 612
10장 함수형 언어 = 615
10.1 역사적 기원 = 616
10.2 함수형 프로그래밍의 개념 = 618
10.3 스킴 복습／개관 = 620
10.3.1 바인딩 = 623
10.3.2 리스트와 숫자 = 624
10.3.3 동일성 검사와 검색 = 624
10.3.4 제어 흐름과 대입 = 625
10.3.5 리스트로서의 프로그램 = 627
10.3.6 확장된 예: DFA 시뮬레이션 = 630
10.4 계산 순서 다시 보기 = 632
10.4.1 엄밀성과 게으른 계산 = 634
10.4.2 I／O: 스트림과 모나드 = 636
10.5 고차 함수 = 639
10.6 이론적 기초 [CD-152] = 643
10.6.1 람다 연산 [CD-154]
10.6.2 제어 흐름 [CD-158]
10.6.3 구조체 [CD-160]
10.7 한눈에 보는 함수형 프로그래밍 = 643
10.8 정리 = 646
10.9 연습문제 = 647
10.10 탐구문제 = 653
10.11 참고자료 = 654
11장 논리형 언어 = 657
11.1 논리형 프로그래밍의 개념 = 658
11.2 프롤로그 = 659
11.2.1 도출과 단일화 = 661
11.2.2 리스트 = 662
11.2.3 산술 = 663
11.2.4 검색／실행 순서 = 664
11.2.5 확장된 예P: Tic-Tac-Toe = 667
11.2.6 명령형 제어 흐름 = 670
11.2.7 데이터베이스 조작 = 673
11.3 이론적 기초 [CD-163] = 678
11.3.1 절 형태 [CD-164]
11.3.2 한계점 [CD-165]
11.3.3 스콜렘화 [CD-167]
11.4 한눈에 보는 논리형 프로그래밍 = 679
11.4.1 다룰 수 없는 일부 논리 = 679
11.4.2 실행 순서 = 679
11.4.3 부정과 "닫힌 세계" 가정 = 681
11.5 정리 = 683
11.6 연습문제 = 684
11.7 탐구문제 = 687
11.8 참고자료 = 689
12장 병행 처리 = 691
12.1 배경과 동기 = 692
12.1.1 간단한 역사 = 693
12.1.2 다중 스레드 프로그램의 경우 = 695
12.1.3 다중 프로세서 구조 = 700
12.2 병행 프로그래밍 기초 = 704
12.2.1 통신과 동기화 = 704
12.2.2 언어와 라이브러리 = 706
12.2.3 스레드 생성 구문 = 707
12.2.4 스레드 구현 = 717
12.3 공유 메모리 = 724
12.3.1 바쁜 대기 동기화 = 724
12.3.2 스케줄러의 구현 = 728
12.3.3 세마포어 = 732
12.3.4 감독자 = 735
12.3.5 조건 임계 영역 = 739
12.3.6 묵시적 동기화 = 745
12.4 메시지 전달 = 749
12.4.1 통신 상대의 명명 = 749
12.4.2 전송 = 753
12.4.3 수신 = 758
12.4.4 원격 프로시저 호출 = 764
12.5 정리 = 768
12.6 연습문제 = 770
12.7 탐구문제 = 777
12.8 참고자료 = 778
13장 스크립팅 언어 = 781
13.1 스크립팅 언어란 = 782
13.1.1 공통적인 특징 = 784
13.2 문제 영역 = 788
13.2.1 쉘 언어 = 788
13.2.2 문서 처리와 보고서 생성 = 796
13.2.3 수학과 통계 = 801
13.2.4 접착 언어와 범용 스크립팅 = 802
13.2.5 확장 언어 = 810
13.3 월드 와이드 웹 스크립팅 = 814
13.3.1 CGI 스크립트 = 815
13.3.2 내장형 서버 측 스크립트 = 818
13.3.3 클라이언트 측 스크립트 = 821
13.3.4 자바 애플릿 = 823
13.3.5 XSLT = 825
13.4 혁신적인 기능 = 838
13.4.1 이름과 유효 범위 = 838
13.4.2 문자열과 패턴 처리 = 844
13.4.3 자료형 = 852
13.4.4 객체지향 = 858
13.5 정리 = 866
13.6 연습문제 = 868
13.7 탐구문제 = 874
13.8 참고자료 = 875
4부 로우레벨로 되짚어본 프로그램의 비밀 = 878
14장 실행 가능한 프로그램 작성 = 881
14.1 후단 컴파일러 구조 = 881
14.1.1 단계 집합 = 882
14.1.2 단계와 패스 = 886
14.2 중간 형태 [CD-169] = 886
14.2.1 다이애나 [CD-169]
14.2.2 GNU RTL [CD-172]
14.3 코드 생성 = 889
14.3.1 속성 문법의 예 = 890
14.3.2 레지스터 할당 = 892
14.4 주소 공간 구조 = 895
14.5 어셈블리 = 897
14.5.1 명령어 생성 = 899
14.5.2 이름에 주소 할당 = 901
14.6 링킹 = 902
14.6.1 재배치와 이름 결정 = 904
14.6.2 유형 검사 = 904
14.7 동적 링킹 [CD-175] = 906
14.7.1 위치 독립적 코드 [CD-175]
14.7.2 완전히 동적인(게으른) 링킹 [CD-177]
14.8 정리 = 907
14.9 연습문제 = 909
14.10 탐구문제 = 911
14.11 참고자료 = 913
15장 코드 개선 [CD-180] = 915
15.1 코드 개선의 여러 단계 [CD-182]
15.2 국소적 최적화 [CD-184]
15.3 기본 블록에서의 중복 제거 [CD-187]
15.3.1 실제 예 [CD-188]
15.3.2 값 번호 지정 [CD-191]
15.4 전역 중복과 자료 흐름 분석 [CD-196]
15.4.1 SSA 형태와 전역 값 번호 지정 [CD-196]
15.4.2 전역 공통 하위 수식 제거 [CD-200]
15.5 루프 개선 Ⅰ [CD-207]
15.5.1 루프 불변식 [CD-207]
15.5.2 귀납 변수 [CD-210]
15.6 명령어 스케줄링 [CD-212]
15.7 루프 개선 Ⅱ [CD-216]
15.7.1 루프 펼치기와 소프트웨어 파이프라이닝 [CD-217]
15.7.2 루프 재정렬 [CD-221]
15.8 레지스터 할당 [CD-228]
15.9 정리 [CD-233]
15.10 연습문제 [CD-234]
15.11 탐구문제 [CD-239]
15.12 참고자료 [CD-241]
부록 A 이 책에서 다룬 프로그래밍 언어 = 917
부록 B "설계와 구현" 목차 = 929
부록 C "예" 목차 = 935
참고자료 = 951
찾아보기 = 971
부록 CD 활용 방법 = 1004