Daftar Isi:
Definisi - Apa artinya Semantik Denotasional?
Dalam ilmu komputer, semantik denotasional adalah suatu pendekatan untuk memberikan makna matematika pada sistem dan bahasa pemrograman. Dengan kata lain, semantik denotasional adalah teknik formal untuk mengekspresikan definisi semantik dari bahasa pemrograman.
Dikembangkan pada 1960-an di Universitas Oxford oleh Grup Pemrograman Pemrograman Christopher Strachey, metodologi ini terdiri dari keanggunan notasi dan ketelitian matematika. Meskipun awalnya dirancang sebagai alat analisis, semantik denotasional telah digunakan sebagai alat untuk implementasi dan desain bahasa.
Techopedia menjelaskan Semantik Denotasional
Dalam semantik denotasional, ide dasarnya adalah memetakan setiap entitas sintaksis yang terkait dengan bahasa pemrograman ke dalam beberapa bentuk entitas matematika, menerjemahkan konstruksi bahasa pemrograman menjadi objek matematika.
Definisi semantik denotasional memiliki lima bagian:
- Persamaan semantik
- Kategori sintaksis
- Fungsi semantik
- Bentuk normal Backus (BNF) yang mendefinisikan struktur kategori sintaksis
- Nilai domain
Semantik denotasional telah dikembangkan untuk bahasa modern yang memiliki fitur seperti pengecualian dan konkurensi. Salah satu fitur penting dari semantik denotasional adalah bahwa semantik harus bersifat komposisional, artinya denotasi frasa pemrograman dapat dikonstruksikan dari denotasi sub-frasanya.
Ada beberapa keuntungan berbeda yang terkait dengan semantik denotasional. Ini adalah mekanisme termudah untuk menggambarkan arti dari program yang lebih kecil dibandingkan dengan alternatif lain. Semantik denotasional mampu menjelaskan keadaan dalam program. Namun, semantik denotasional cenderung sangat kompleks untuk menggambarkan fitur-fitur canggih seperti pernyataan dan rekursi.
