프로그래밍 언어론_{(r1 편집)}

[[분류:프로그래밍]]
[include(틀:토막글)]
[include(틀:이론 컴퓨터 과학)]
[목차]
== 개요 ==
프로그래밍 언어론(Programming Language Theory)은 [[프로그래밍 언어]]의 구조, 설계 방식에 대해 다루는 학문 분야이다. 약칭으로는 PLT라고 불린다.
== 분류 ==
 * [[프로그래밍 언어]]: 프로그래밍 언어의 발전사 등
 * [[프로그래밍 패러다임]]
  * [[객체 지향 프로그래밍]]
   * 객체 및 클래스
   * 상속
   * 다형성
   * 인터페이스
  * 논리형 프로그래밍
  * [[함수형 프로그래밍]]
 * [[추상적 자료형]]
 * 부프로그램(Subprogram): 호출에 의해 실행되는 코드. 함수나 프로시저가 여기 해당한다.
 * [[예외 처리]](Exception): [[버퍼 오버플로]] 등 비정상적인 사건이 발생할 때에도 프로그램이 중단 없이 다시 실행될 수 있게 하는 과정.
 * [[의미론]]
  * Operational Semantics
 * 컴파일러 이론
 * 구문
  * [[추상 구문 트리|파스 트리]]
  * [[EBNF]]
 * 블록 및 유효범위
 * 데이터 타입
  * 타입 검사
 * 함수
 * 기타
  * 어휘 분석, 이름, 식, 배정문, 문장-수준 제어 구조, 동시성, 이벤트 처리
== 교재 ==
 * ''Essentials of Programming Languages''
== 기타 ==
 * 5급 [[전산직 공무원]] 2차시험에 선택과목으로 출제된다.
== 관련 문서 ==
 * [[프로그래밍 언어]]
== 외부 링크 ==
 * [[https://en.wikipedia.org/wiki/Programming_language_theory]]
 * [[https://prl.korea.ac.kr/courses/cose212/2023/pl-book.pdf]]

[각주]
[include(틀:문서 가져옴/나무위키, title=프로그래밍 언어론, version=42, uuid=47135873-f0df-4f34-b44c-6d3a87b6ed8d)]

요약

문서 편집을 저장하면 당신은 기여한 내용을 CC BY-NC-SA 2.0 KR 또는 기타 라이선스 (문서에 명시된 경우) 로 배포하고 기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다. 이 동의는 철회할 수 없습니다.

비로그인 상태로 편집합니다. 로그인하지 않은 상태로 문서 편집을 저장하면, 편집 역사에 본인이 사용하는 IP(216.73.216.107) 주소 전체가 영구히 기록됩니다.

프로그래밍 언어론(r1 편집)

프로그래밍 언어론_{(r1 편집)}