프로그래밍언어론
- 한양대학교
- 이우석
페이스북
트위터
카카오톡
네이버밴드
링크복사
-
- 주제분류
- 공학 >컴퓨터ㆍ통신 >소프트웨어공학
-
- 강의학기
- 2022년 1학기
-
- 조회수
- 11,190
-
- 강의계획서
- 강의계획서
이 과목의 주목적은 프로그래밍 언어들의 근간을 이루는 이론적 개념들을 익히는 것이다. 이 강좌에서는 프로그래밍 언어를 설계하고, 해당 언어로 작성된 프로그램을 실행하는 언어실행기를 구현하는 방법을 익힌다. 보조적인 목적은 함수형 프로그래밍 언어를 숙지하는 것이다.
- 수강안내 및 수강신청
- ※ 수강확인증 발급을 위해서는 수강신청이 필요합니다
오리엔테이션
차시별 강의
| 1. | |
오리엔테이션 | 1. 학습 과정 소개 2. 학습 내용 구성 3. 사전 테스트(장애인 인식) |  |
| 2. | |
귀납적 정의 (1) | 프로그래밍언어 정의법인 귀납적 정의 소개 | |
| 3. | |
귀납적 정의 (2) - 1 | 귀납적 정의의 예 | |
|
귀납적 정의 (2) - 2 | 구조적 귀납법 및 증명 사례 | |
|
| 4. | |
Ocaml 기본 - 1 | Ocaml 프로그래밍 언어 기본개념 소개 | |
|
Ocaml 기본 - 2 | 귀납적 자료형을 이용한 타입 정의와 패턴매치 사용법 | |
|
| 5. | |
재귀 및 고차 프로그래밍 - 1 | 함수형 언어에서의 재귀함수 정의 및 사용 | |
|
재귀 및 고차 프로그래밍 - 2 | 고차함수 정의 및 사용 | |
|
| 6. | |
프로그래밍 언어 설계 - 표현식 - 1 | 간단한 표현식 기반 언어 설계 | |
|
프로그래밍 언어 설계 - 표현식 - 2 | 간단한 표현식 기반 언어실행기 구현 | |
|
| 7. | |
프로그래밍 언어 설계 - 함수 - 1 | 언어에 함수호출 추가하여 확장 | |
|
프로그래밍 언어 설계 - 함수 - 2 | 함수호출이 가능한 언어의 실행기 구현 | |
|
| 8. | |
변수의 정적 유효범위 | 변수 선언 및 사용의 근본적 의미 이해 | |
| 9. | |
프로그래밍 언어 설계 - 메모리 상태 - 1 | 언어에 메모리 접근이 가능하게 확장 | |
|
프로그래밍 언어 설계 - 메모리 상태 - 2 | 언어에 메모리 접근이 가능하게 확장 | |
|
| 10. | |
프로그래밍 언어 설계 - 레코드, 포인터, 쓰레기수집 - 1 | 언어에 레코드, 메모리 포인터, 쓰레기 수집이 가능하게 확장 | |
|
프로그래밍 언어 설계 - 레코드, 포인터, 쓰레기수집 - 2 | 언어에 메모리 접근이 가능하게 확장 | |
|
| 11. | |
타입시스템의 동기 | 타입시스템의 필요성 | |
|
타입시스템의 설계 | 타입시스템의 설계 | |
|
| 12. | |
타입시스템 - 수동 타입 병기 | 수동 타입 병기 기반 타입시스템 설계 및 구현 | |
| 13. | |
타입시스템 - 자동 타입 추론 - 1 | 자동 타입 추론 알고리즘 | |
|
타입시스템 - 자동 타입 추론 - 2 | 자동 타입 추론 알고리즘 | |
|
|
타입시스템 - 자동 타입 추론 - 3 | 자동 타입 추론 알고리즘 | |
|
| 14. | |
Let 다형 타입 시스템 | Let 다형 타입 추론 알고리즘 | |
| 15. | |
람다 계산법 - 1 | 프로그래밍언어들의 이론적 모델인 람다 계산법 소개 | |
|
람다 계산법 - 2 | 프로그래밍언어들의 이론적 모델인 람다 계산법 소개 | |
연관 자료
