Aksiomatska semantika
Aksiomatska semantika je pristup zasnovan na matematičkoj logici za dokazivanje ispravnosti računarskih programa.[1] Usko je povezan sa Hoare logikom. Aksiomatska semantika definiše značenje komande u programu opisujući njegov uticaj na tvrdnje o stanju programa. Navode se logični izrazi — predikati sa varijablama, gdje varijable definišu stanje programa.
Reference[uredi | uredi izvor]
- ^ Winskel, Glynn (1993-02-05). The Formal Semantics of Programming Languages: An Introduction (na jeziku: engleski). MIT Press. ISBN 978-0-262-73103-4.
