Anlambilim tartışıyorsunuz.You're arguing semantics.
Anlambilim kelimelerin anlamlarını ve değişmelerini izler.She uses familiar statements and reinterprets them to alter their meanings.
Aksine, dilbilgisi kendi başına anlamlı ve anlambilimden ayrılmazdır.Rather, grammar is itself meaningful and inextricable from semantics.
1981'de Gordon Plotkin , yapılandırılmış operasyonel anlambilim üzerine makalesini yayınladı.In 1981, Gordon Plotkin publishes his paper on structured operational semantics.
1988'de Gilles Kahn , doğal anlambilim üzerine makalesini yayınladı.In 1988, Gilles Kahn published his paper on natural semantics.
Biçimsel anlambilimFormal semantics
Nesne Yönelimli Programlama Dillerinin Teorik Yönleri: Türler, Anlambilim ve Dil Tasarımı .Theoretical Aspects of Object Oriented Programming Languages: Types, Semantics, and Language Design.
1969'da Tony Hoare, bir tür aksiyomatik anlambilim olan Hoare mantığını tanıtıyor.In 1969, Tony Hoare introduces the Hoare logic, a form of axiomatic semantics.
1970 yılında Dana Scott, ilk olarak gösterimsel anlambilim üzerine çalışmalarını yayınlar.In 1970, Dana Scott first publishes his work on denotational semantics.
Buna karşın model teorisinin doğası anlambilimseldir.この場合、領域理論の性質によってシステムの意味を与える。