Recent News

Salı, Mart 09, 2010

Programlama Dilleri Kavram Karmaşası

Yazdığıklarımızın anlamlarını ifade etmek için kullanılır.

Anlamsallar(Semantics)

Daha önce yazdığımız dilin anlamlarını araştırmamıştık.Semantics de ifadenin anlamı açıklanır.
1)İşlemsel Anlamlar:
Yazdığımız ifade simüle edilir daha sonra anlamı araştırıır.
2)Aksiyomatik Anlamlar:Her ifadeden önce bir ön ve son koşul belirtilir.
{ön koşul}
A>
{son koşul}
bu ifade ön koşul sağlandığında A çalışır ve son koşul çalışır eğer son koşul çalışıyosa A ifadesi doğrudur.

Örnek:
a=b+1 {a>1}
bunun tam çalışması için ön koşul b>0 olmalıdır.
Sağlayan minimum ön koşula zayıf önkoşul denir.

0 yorum:

Yorum Gönder