Operasyonel semantik bir programa ait doğruluk ve güvenlik gibi özelliklerin, programın işletimine ilişkin mantıksal önermeler kurulması yoluyla doğrulanmasıdır. Bu, program içindeki kavramlara matematiksel anlamlar yükleyen gösterimsel semantiğin tam tersidir. Berim sürecinin her bir adımını tanımlayan yapısal katman ve işletimlerin genel sonuçlarına odaklanan doğal katman olmak üzere iki bölümde incelenmektedir.
Kaynakça
- "Semantics of Programming Languages" (PDF). Wiley. Matthew Hennessy. 1990. 23 Temmuz 2016 tarihinde kaynağından (PDF) 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. |
