상세정보
- home
- 상세정보
프로그래밍언어론
안기영
초록
이 책은 프로그래밍에 대해 다룬 이론서이다. 프로그래밍언어론의 기초적이고 전반적인 내용을 학습할 수 있도록 구성하였다.
목차
목차 일부
제Ⅰ편 용어 및 기본 개념
제1장 Syntax와 Grammar
제2장 형식언어이론
제3장 프로그래밍언어의 문법구조(Syntax)
제4장 프로그래밍언어의 의미구조(Semantics)
제5장 유효범위(Scope)와 타입(Type)
제Ⅱ편 하스켈로 알아보는 의미구조와 타입 시스템
제6장 람다계산법과 하스켈
제7장 산술식을 히스켈로 다루기
제8장 매개변수 다...
제1장 Syntax와 Grammar
제2장 형식언어이론
제3장 프로그래밍언어의 문법구조(Syntax)
제4장 프로그래밍언어의 의미구조(Semantics)
제5장 유효범위(Scope)와 타입(Type)
제Ⅱ편 하스켈로 알아보는 의미구조와 타입 시스템
제6장 람다계산법과 하스켈
제7장 산술식을 히스켈로 다루기
제8장 매개변수 다...
목차 전체
제Ⅰ편 용어 및 기본 개념
제1장 Syntax와 Grammar
제2장 형식언어이론
제3장 프로그래밍언어의 문법구조(Syntax)
제4장 프로그래밍언어의 의미구조(Semantics)
제5장 유효범위(Scope)와 타입(Type)
제Ⅱ편 하스켈로 알아보는 의미구조와 타입 시스템
제6장 람다계산법과 하스켈
제7장 산술식을 히스켈로 다루기
제8장 매개변수 다형성(Parametric Polyorphism)
제9장 함수에 대한 값계산
제10장 함수, 산술식, 조건식을 포함하는 언어에 대한 값계산
제Ⅲ편 문법분석과 타입유추
제11장 문법분석
제12장 타입검사와 타입유추
제13장 타입유츄, 더 많이
제14장 타입유추, 더욱 더 많이
제1장 Syntax와 Grammar
제2장 형식언어이론
제3장 프로그래밍언어의 문법구조(Syntax)
제4장 프로그래밍언어의 의미구조(Semantics)
제5장 유효범위(Scope)와 타입(Type)
제Ⅱ편 하스켈로 알아보는 의미구조와 타입 시스템
제6장 람다계산법과 하스켈
제7장 산술식을 히스켈로 다루기
제8장 매개변수 다형성(Parametric Polyorphism)
제9장 함수에 대한 값계산
제10장 함수, 산술식, 조건식을 포함하는 언어에 대한 값계산
제Ⅲ편 문법분석과 타입유추
제11장 문법분석
제12장 타입검사와 타입유추
제13장 타입유츄, 더 많이
제14장 타입유추, 더욱 더 많이
퀵메뉴 열기
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가