Beberapa pengertian Pendekatan Semantic :
Operational Semantic : Cara untuk memberi makna bagi program komputer dengan cara matematis yang sangat teliti.
Denotasi Semantic : Pendekatan untuk merumuskan makna dari bahasa pemrograman dengan membangun objek matematika (denotasi) yang menjelaskan makna ekspresi dari bahasa pemrograman.
Axiomatic Semantic : Pendekatan yang didasarkan pada logika matematika untuk membuktikan kebenaran dari program komputer.
Algebraic Semantic : Suatu bentuk dari Axiomatic Semantic berdasarkan hukum Aljabar untuk menggambarkan & penalaran tentang semantic program secara formal.
Natural Semantic : Menyediakan kerangka kerja untuk memberikan Operational Semantic untuk bahasa pemrograman dan spesifikasi, yang mana, disebabkan oleh daya tarik intuitif dan eksibilats yang telah ditemukan.
No comments:
Post a Comment