프로그래밍 언어론
프로그래밍 언어론은 컴퓨터 프로그래밍 언어를 이론적인 측면에서 탐구하는 학문이다. 언어의 구문(Syntax), 의미(Semantics), 구조(Structure) 등을 분석하고 구셩 요소들이 언어의 특징과 동작을 어떻게 결정하는 지 연구한다. 대표적인 언어의 구문 표기법에는 BNF, EBNF, 구문 도표가 있다.
프로그래밍 언어 구현 기법에는 컴파일러를 이용한 번역 기법 Compile, 인터프리터 기법, 하이브리드 기법이 있다. Java가 하이브리드 기법에 해당하므로, 이는 Java의 실행원리를 참고하도록 하자.