Programming Language Theory Concept
Axiomatic semantics
Books
Journey Statuslearning
A style of semantics that defines a language based on its proof rules/laws, rather than how it runs or what mathematical objects it denotes.
A style of semantics that defines a language based on its proof rules/laws, rather than how it runs or what mathematical objects it denotes.