Аксиоматска семантика
Аксиоматска семантика је приступ заснован на математичкој логици за доказивање исправности рачунарских програма.[1] Уско је повезан са Хоаре логиком. Аксиоматска семантика дефинише значење команде у програму описујући његов утицај на тврдње о стању програма. Наводe се логични изрази — предикати са варијаблама, гдје варијабле дефинишу стање програма.
Референце уреди
- ^ Winskel, Glynn (1993-02-05). The Formal Semantics of Programming Languages: An Introduction (на језику: енглески). MIT Press. ISBN 978-0-262-73103-4.
