Аксиоматска семантика

Аксиоматска семантика је приступ заснован на математичкој логици за доказивање исправности рачунарских програма.^[1] Уско је повезан са Хоаре логиком. Аксиоматска семантика дефинише значење команде у програму описујући његов утицај на тврдње о стању програма. Наводe се логични изрази — предикати са варијаблама, гдје варијабле дефинишу стање програма.

Референце

^ Winskel, Glynn (1993-02-05). The Formal Semantics of Programming Languages: An Introduction (на језику: енглески). MIT Press. ISBN 978-0-262-73103-4.

Овај чланак везан за науку је клица. Можете допринети Википедији тако што ћете га проширити.

[1] Winskel, Glynn (1993-02-05). The Formal Semantics of Programming Languages: An Introduction (на језику: енглески). MIT Press. ISBN 978-0-262-73103-4.

[1]