책 소개
컴퓨터가 하는 계산 과정은 프로그래밍 언어에 의해 표현함으로써 비로소 컴퓨터에게 해당 계산을 하도록 할 수 있습니다. 따라서 프로그래밍 언어는 컴퓨터 및 소프트웨어 발전에 있어서 핵심 기술이며, 프로그래밍 언어의 발전을 매개로 하여 컴퓨터 및 소프트웨어가 발전해오고 있습니다. 특히 최근에는 인터넷, IoT, 빅데이터, 인공지능과 같은 새로운 컴퓨팅 환경이 도입됨에 따라 새로운 컴퓨팅 환경을 반영하는 새로운 프로그래밍 언어가 지속적으로 개발되어 활용됨으로써 컴퓨팅 기술 발전을 촉진시키고 있습니다. 프로그래밍 언어론은 대학에서 컴퓨터과학의 필수 교과목으로 강의되고 있으나 주로 개념 위주로 강의되고 있어 강의를 이수한 후에도 그 실제적 구현에 대해서는 잘 모르는 경우가 많고 이를 활용하기도 힘든 실정입니다. 저자는 그동안 프로그래밍 언어론을 교육하면서 이러한 한계를 절감하였으며 프로그래밍 언어론 교육의 이러한 한계를 극복하기 위해 프로그래밍 언어의 원리뿐만 아니라 인터프리터를 중심으로 실제 구현에 대해서 구체적으로 다루도록 본 교재를 집필하게 되었습니다.
목차펼치기접기
CHAPTER 01 서론1.1 프로그래밍 언어란 무엇인가?1.2 프로그래밍 언어의 종류1.3 프로그래밍 언어의 역사1.4 추상화와 명령형 언어의 발전1.5 프로그래밍 언어의 정의 및 구현CHAPTER 02 구문법2.1 구문 및 문법2.2 유도2.3 모호성2.4 BNF와 구문 다이어그램2.5 재귀 하강 파싱2.6 파싱 이론(고급 주제)CHAPTER 03 언어 설계와 파서 구현3.1 프로그래밍 언어 S3.2 추상 구문 트리3.3 어휘 분석기3.4 파서 구현CHAPTER 04 변수 및 유효범위4.1 변수 선언4.2 블록 구조 언어4.3 변수의 상태와 시맨틱스4.4 변수의 유효범위 관리4.5 구현CHAPTER 05 시맨틱스5.1 수식의 시맨틱스5.2 구조적 프로그래밍5.3 문장의 시맨틱스5.4 언어 S의 인터프리터 구현CHAPTER 06 자료형6.1 자료형 개요6.2 복합 타입6.3 사례 연구6.4 형변환6.5 타입과 언어의 분류CHAPTER 07 타입 시스템7.1 타입 오류와 타입 검사7.2 타입 시스템 개요7.3 언어 S의 타입 시스템7.4 타입 검사 구현(고급 주제)CHAPTER 08 함수8.1 함수 정의8.2 매개변수 전달8.3 함수와 바인딩8.4 함수의 타입 검사8.5 함수 구현CHAPTER 09 함수 구현9.1 함수 호출 구현 원리9.2 인터프리터에서 함수 구현9.3 컴파일러에서 함수 구현CHAPTER 10 예외 처리10.1 예외 및 예외 처리10.2 Python 예외10.3 Java 예외10.4 예외 검사 및 예외 선언CHAPTER 11 객체와 클래스11.1 객체지향 언어11.2 Java 클래스11.3 캡슐화11.4 정적 변수 및 정적 메소드11.5 제네릭11.6 Python의 클래스11.7 C++ 객체 및 클래스CHAPTER 12 상속12.1 상속12.2 Java 상속12.3 상속과 접근 제어12.4 추상 클래스12.5 C++ 상속12.6 Python 상속12.7 구현CHAPTER 13 함수형 언어(고급 주제)13.1 함수형 언어의 소개13.2 람다 계산13.3 Scheme13.4 ML
출처: 국립중앙도서관 서지정보
리뷰 남기기
로그인하면 리뷰를 남길 수 있어요.
리뷰 0개
아직 리뷰가 없어요.