객체와 이를 위한 연산문들의 집합으로 이루어진 객체 지향 프로그래밍(OOP) 환경에서 사용되는 프로그램 언어의 총칭이다. 대표적인 객체 지향 언어로는 추상 데이터형 프로그램 언어의 시조라고 할 수 있는 시뮬레이션 언어 시뮬라, 스몰토크 80 등이 있다. 객체는 자료와 프로그램의 추상화로써 구현되는데, 연산하고자 하는 여러 가지 객체들 속에서 그 연산들의 정의가 나타나며 동시에 객체에 대한 정의는 그들 연산의 여러 가지 측면에서 나타난다.