Gösterimsel semantik
Gösterimsel semantik, matematiksel semantik ya da Scott-Strachey semantiği bir programa ait doğruluk ve güvenlik gibi özelliklerin, program içindeki kavramlara matematiksel anlamlar yüklenmesi yoluyla doğrulanmasıdır. Bu, programın işletimine ilişkin mantıksal önermeler kurulmasına odaklanan operasyonel semantiğin tam tersidir. Yaklaşım 1970'lerin başında Christopher Strachey ve Dana Scott tarafından ortaya atılmıştır.
Kaynakça[değiştir | kaynağı değiştir]
- "Denotational Semantics". Monash Üniversitesi. Lloyd Allison. 29 Eylül 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 2 Ocak 2018.
 | Bilgisayar bilimi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |