varmap

More documents

Recommendations

Info

Aksiyomatik Anlamlar(Axiomatic Semantics)• biçimsel mantık temellidir.• Orijinal amaç: biçimsel program doğrulama• Aksiyonlar veya girişim(inference) kurallarıdildeki her ifade için tanımlanır(budeyimlerden başka deyimleredönüştürmeye izin verir)• Deyimler iddialar(assertions) olarakadlandırılır.Copyright © 2007 Addison-Wesley. All rights reserved. 1-32
Aksiyomatik Anlamlar(Axiomatic Semantics)• Bir ifadeden önceki iddia (a precondition)değişkenler arasındaki ilişkileri ve kısıtlarıtanımlar• Bir ifadeden sonraki iddia postcondition dır.• En zayıf ön koşul (weakest precondition) enaz kısıtlayıcı önkoşuldur ve bu koşul postcondition ı garanti eder.Copyright © 2007 Addison-Wesley. All rights reserved. 1-33
Page 1: Bölüm 3Sözdizimi(Syntax) veAnlam
Page 4 and 5: Sözdizim(Syntax) tanımlamanın ge
Page 6 and 7: Söz Diziminin Tanımında Kullanı
Page 8 and 9: Backus-Naur Form (BNF)• Backus-Na
Page 10 and 11: BNF Kurallar• Bir kuralda sol tar
Page 12 and 13: Bir örnek gramer → → | ;
Page 14 and 15: Türetme• Türetmelerde semboller
Page 16 and 17: Gramerlerin belirsizliği(Ambiguity
Page 18 and 19: Bir belirsiz deyim(expression) gram
Page 20 and 21: Genişletilmiş BNF(Extended BNF)
Page 22 and 23: Özellik Gramerleri(Attribute Gramm
Page 24 and 25: Özellik Gramerleri : Tanımlama(De
Page 26 and 27: Özellik Gramerleri (devam)• Söz
Page 28 and 29: Özellik Gramerleri (devam).expecte
Page 30 and 31: İşlemsel Anlamlar(Operational Sem
Page 34 and 35: Aksiyomsal Anlamsal Biçimler(Axiom
Page 36 and 37: Aksiyomsal Anlamsal: Aksiyomlar(Axi
Page 38 and 39: Aksiyomsal Anlamsal: Aksiyomlar(Axi
Page 40 and 41: Döngü Değişmezi(Loop Invariant)
Page 42 and 43: Gösterimsel Anlamsallar (Denotatio
Page 44 and 45: Gösterimsel Anlamsallar -İşlemse
Page 46 and 47: Ondalık Sayılar → 0 | 1 | 2 | 3
Page 48 and 49: 3.5 AnlamsallarM e(, s) ∆=case o
Page 50 and 51: Mantıksal Önkoşullu döngüler
Page 52 and 53: Gösterimsel anlamsalların hesapla

varmap

Create successful ePaper yourself

Delete template?

Save as template?