[목차]
[include(틀:토막글)]

== 개요 ==
[[프로그래밍 언어]]의 구조, 설계 방식에 대해 다루는 학문 분야. 약칭으로는 PLT라고 불린다.
[[https://en.wikipedia.org/wiki/Programming_language_theory|Programming language theory]]

다루는 주제는 다음과 같다.
 * [[프로그래밍 언어]]: 프로그래밍 언어의 발전사, 논리형 프로그래밍, 함수형 언어 등
  * [[객체 지향 프로그래밍]]: 캡슐화 등
 * [[추상적 자료형]]
 * 부프로그램 (Subprogram): 호출에 의해 실행되는 코드. 함수나 프로시저가 여기 해당한다.
 * [[예외 처리]] (Exception): [[버퍼 오버플로]] 등 비정상적인 사건이 발생할 때에도 프로그램이 중단 없이 다시 실행될 수 있게 하는 과정.
 * [[의미론]]
 * 구문, 어휘 분석, 구문 분석, 이름, 바인딩, 영역, 자료형, 식, 배정문, 문장-수준 제어 구조, 동시성, 이벤트 처리

5급 [[전산직 공무원]] 2차시험에 선택과목으로 출제된다.

[각주]
[[분류:프로그래밍]]