구문법(syntax) : 문장을 구성하는 방법의미론(semantics) : 작성된 문장의 의미 결정타입 시스템(type system) : 타입의 올바른 사용법순차적 명령어 실행메모리 위치를 나타내는 변수 사용대입문을 사용한 변수 값 변경추상화란 실제적이고 구체적인 개념