ALERT

[LAST CHANCE] Data Layer: Modern Business, Defined

Axiomatic Semantics

Definition - What does Axiomatic Semantics mean?

Axiomatic semantics are semantic expressions of the relationships inherent in a piece of code. These expressions can be helpful in describing how some piece of software works.

Techopedia explains Axiomatic Semantics

An interesting thing about axiomatic semantics as contrasted to other types of expressions is that they are fairly agnostic of specific results and conditions. Rather, axiomatic semantics describe the way that a system works. One way to think of this is using the root word, axiom, which implies some broader truism about a system. For example, an axiomatic semantical statement about a certain function would describe what it is meant to do, what sort of argument it takes, and what sort of result it returns. This would not require knowledge of the actual variables involved.

Techopedia Deals

Connect with us

Techopedia on Linkedin
Techopedia on Linkedin
Tweat cdn.techopedia.com
"Techopedia" on Twitter


'@Techopedia'
Sign up for Techopedia's Free Newsletter!

Email Newsletter

Join thousands of others with our weekly newsletter

Resources
The 4th Era of IT Infrastructure: Superconverged Systems
The 4th Era of IT Infrastructure: Superconverged Systems:
Learn the benefits and limitations of the 3 generations of IT infrastructure – siloed, converged and hyperconverged – and discover how the 4th...
Approaches and Benefits of Network Virtualization
Approaches and Benefits of Network Virtualization:
Businesses today aspire to achieve a software-defined datacenter (SDDC) to enhance business agility and reduce operational complexity. However, the...
Free E-Book: Public Cloud Guide
Free E-Book: Public Cloud Guide:
This white paper is for leaders of Operations, Engineering, or Infrastructure teams who are creating or executing an IT roadmap.
Free Tool: Virtual Health Monitor
Free Tool: Virtual Health Monitor:
Virtual Health Monitor is a free virtualization monitoring and reporting tool for VMware, Hyper-V, RHEV, and XenServer environments.
Free 30 Day Trial – Turbonomic
Free 30 Day Trial – Turbonomic:
Turbonomic delivers an autonomic platform where virtual and cloud environments self-manage in real-time to assure application performance.