(1) Spesifikasi dari apa variabel misalnya menerapkan negara obyek, dan apa prosedur menerapkan metode yang
(2) Definisi bagaimana sesuatu dibangun atau dihitung. Sebagai contoh, kelas merupakan implementasi dari sebuah tipe, metode merupakan implementasi dari suatu operasi.