a. Operational Semantic
Pendekatan ini mendefinisikan suatu mesin buatan
(Abstract) dengan instruksi-instruksi primitif, tidak perlu realistik, tetapi
cukup sederhana supaya tidak muncul kesalahpahaman. Deskripsi semantik dari
bahasa pemrograman menentukan suatu translasi ke kode.
b.
Denotational Semantic
Pada pendekatan ini, diberikan suatu fungsi yang
memetakan program-program komputer yang ditunjuk ke dalam bentuk nilai-nilai
abstrak secara matematika (angka, nilai, kebenaran, fungsi matematika, dsb).
c. Axiomatic Semantic
Pada pendekatan ini didefinisikan suatu tindakan
program yang dibangun dengan properti logika yang menyimpan status komputer
sebelum dan sesudah eksekusi.
d.
Algebraic Semantic
Pada pendekatan ini dipertimbangkan suatu objek
komputasi yang menjadi syarat-syarat dalam aljabar multi-sorted. Program mengimplementasikan
fungsi yang dapat diwujudkan dengan suatu persamaan diantara syarat-syarat
tersebut.
e. Structured Operational atau Natural Semantic
Seperti dalam pengambilan keputusan secara alamiah
dengan logika. Program diberi suatu arti dari aturan yang diturunkan yang
menggambarkan penilaian gagasan suatu bahasa.
Tidak ada komentar:
Posting Komentar