다중패러다임 프로그래밍언어론

Prologue



제 1장 프로그래밍언어의 원리

1.1 프로그래밍언어의 기본적인 쟁점

1.2 프로그래밍언어 정의

1.3 프로그래밍언어의 표현 수준(Level of Expression)

1.4 프로그래밍언어의 패러다임

1.5 결어



제 2장 절차중심언어(Procedural Language)

2.1 정의(Definition)

2.2 동기(Motivation)

2.3 속성(Characteristics)

2.4 Procedure/Function

2.5 결어



제 3장 ML: Multi-Paradigm Programming Language

3.1 ML언어의 특징

3.2 Basic

3.3 Function

3.4 Input/Output

3.5 More Functions

3.6 사용자 정의 유형 (User Defined Type)

3.7 More Data Structure

3.8 Structure: ML Module System

3.9 결어



제 4장 Programming Language Paradigms

4.1 Scheme

4.2 Prolog

4.3 Smalltalk

4.4 결어



Epilogue



부록 A 참고문헌

부록 B 연습 문제 답안

부록 C 색인

이문근 미국, Pennsylvania State University, 컴퓨터과학, 학사
미국, The University of Pennsylvania, 컴퓨터정보과학, 석사
미국, The University of Pennsylvania, 컴퓨터정보과학, 박사
미국, CCCC, Computer Scientist
전북대학교 컴퓨터공학부 교수
소프트웨어재ㆍ역공학, 정형기법, 모델링기법, 행위공학 전공
개발도구 SRE (SW재ㆍ역공학 도구), SAVE (δ=Calculus 정형기법 도구), PRISM (행위온톨로지 도구) 등

저서
『정형기법』 (전북대학교출판문화원), 『행위 온톨로지』 , 『프로세스 대수』, 『모델링도구개발: 메타-모델링도구사용방법』, 『산업혁명4.0을 위한 CPS 구현 플랫폼』 (어화출판사) 등

시집
『Meta-X』 (문예연구사), 『봄이 오는 까닭』 (시선사), 『그리움』, 『장마』 (다가서포) 등