SEMANTIC

KONSEP BAHASA PEMOGRAMAN 2

* Operational Semantic adalah Pendekatan ini mendefinisikan suatu mesin buatan (Abstract) dengan instruksi-instruksi primitif, tidak perlu realistik, tetapi cukup sederhana supaya tidak muncul kesalahpahaman. Deskripsi semantic dari bahasa pemrograman menentukan suatu translasi ke kode.

* Denotasi Semantic Adalah 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, dan sebagainya)

* Axiomatic Sematic adalah Pada pendekatan ini didefinisikan suatu tindakan program yang dibangun dengan properti logika yang menyimpan status komputer sebelum dan sesudah eksekusi.

* Algebraic Sematic Adalah Pada pendekatan ini dipertimbangkan suatu objek komputasi yang menjadi syarat-syarat dalam aljabar multi-sorted. Program meng-implementasikan fungsi yang dapat diwujudkan dengan suatu persamaan di antara syarat-syarat tersebut.

* Structure Operational Semantic / Natural Sematic Adalah Seperti dalam pengambilan keputusan secara alamiah dengan logika. Programdiberi suatu arti dari aturan yang
diturunkan yang menggambarkan penilaian gagasan suatu bahasa.