프로그래밍 언어론: 원리와 실제

프로그래밍 언어론: 원리와 실제

$34.30
Ask a Question
Vendor: 인피니티북스 - 창병모
Type: 프로그래밍일반
SKU: 9791185578729
Categories: ALL BOOKS 컴퓨터/인터넷 컴퓨터/인터넷_프로그래밍언어
Tags: 컴퓨터/IT_프로그래밍 언어 프로그래밍언어론원리와실제
Description
이 책은 프로그래밍 언어의 주요 이론과 원리를 학습하고 실습해볼 수 있도록 구성되어 있다. 보통의 프로그래밍 언어론 주제의 책은 개념 위주의 설명만 되어 있어 실제로 어떻게 프로그램 언어가 구현되는지에 대해서는 학습해볼 기회가 없었다.

이 책에서는 저자가 직접 설계한 샘플 언어인 ‘언어 S'를 사용하여 설명하고 있다. 이를 통해 프로그래밍 언어론의 주요 개념들을 학습하고, 제공하는 실습문제를 해결하면서 실제로 독자들도 각자의 프로그래밍 언어를 설계, 구현해 볼 수 있다.

각각의 수식 문법을 구문 트리 형태로 나타내어 파싱 과정을 명시적으로 보여주면서 쉽게 설명하도록 구성되어 있다. 이외에도 구문 다이어그램이나 순서도 등 다양한 그림을 사용하여 어려운 개념을 쉽고 간단하게 설명한다. 또한 이 책을 수업의 교재로 사용하는 교수자 분들에게 질 좋은 강의 자료를 제공한다.
저자

창병모

1995년~현재숙명여자대학교소프트웨어학부교수
1994년KAIST전산학과공학박사
1990년KAIST전산학과공학석사
1988년서울대컴퓨터공학과공학사

목차

CHAPTER01서론
1.1프로그래밍언어란무엇인가?
1.2프로그래밍언어의종류
1.3프로그래밍언어의역사
1.4추상화와명령형언어의발전
1.5프로그래밍언어의정의및구현

CHAPTER02구문법
2.1구문및문법
2.2유도
2.3모호성
2.4BNF와구문다이어그램
2.5재귀하강파싱
2.6파싱이론(고급주제)

CHAPTER03언어설계와파서구현
3.1프로그래밍언어S
3.2추상구문트리
3.3어휘분석기
3.4파서구현

CHAPTER04변수및유효범위
4.1변수선언
4.2블록구조언어
4.3변수의상태와시맨틱스
4.4변수의유효범위관리
4.5구현

CHAPTER05의미론
5.1수식의의미
5.2구조적프로그래밍
5.3문장의의미
5.4언어S의인터프리터구현

CHAPTER06자료형
6.1자료형개요
6.2복합타입
6.3사례연구
6.4형변환
6.5타입과언어의분류

CHAPTER07타입시스템
7.1타입오류와타입검사
7.2타입시스템개요
7.3언어S의타입시스템
7.4타입검사구현(고급주제)

CHAPTER08함수
8.1함수정의
8.2매개변수전달
8.3함수와바인딩
8.4함수의타입검사
8.5함수구현

CHAPTER09함수구현
9.1함수호출구현원리
9.2인터프리터에서함수구현
9.3컴파일러에서함수구현

CHAPTER10예외처리
10.1예외및예외처리
10.2Python예외
10.3Java예외
10.4예외검사및예외선언

CHAPTER11객체와클래스
11.1객체지향언어
11.2Java클래스
11.3캡슐화
11.4정적변수및정적메소드
11.5제네릭
11.6Python의클래스
11.7C++객체및클래스

CHAPTER12상속
12.1상속
12.2Java상속
12.3상속과접근제어
12.4추상클래스
12.5C++상속
12.6Python상속
12.7구현

CHAPTER13함수형언어(고급주제)
13.1함수형언어의소개
13.2람다계산
13.3Scheme
13.4ML

출판사 서평

이교재는프로그래밍언어론의주요주제인구문법,시맨틱스,타입시스템,함수,객체지향언어,함수형언어등에대해서주로다루고있으며프로그래밍언어론의한학기교재로사용될수있다.특히샘플언어를설계하고이를중심으로구문법,시맨틱스,타입시스템,함수등을학습하면서이를실제로인터프리터에구현하는방식으로구성되었다.뿐만아니라이러한주제에대해서인터프리터구현을중심으로실습할수있도록다양한수준의실습문제를제공하고있다.
이교재를활용함으로써프로그래밍언어의원리와그구현을정확하게이해하고이를관련분야에서활용할수있는능력이배양되기를기대한다.