Định nghĩa Axiomatic Semantics là gì?
Axiomatic Semantics là Tiên đề Semantics. Đây là nghĩa tiếng Việt của thuật ngữ Axiomatic Semantics - một thuật ngữ thuộc nhóm Technology Terms - Công nghệ thông tin.
Độ phổ biến(Factor rating): 5/10
Ngữ nghĩa tiên đề là những biểu hiện ngữ nghĩa của các mối quan hệ vốn có trong một đoạn mã. Các biểu thức này có thể hữu ích trong việc mô tả cách mà một số mảnh của công trình phần mềm.
Xem thêm: Thuật ngữ công nghệ A-Z
Giải thích ý nghĩa
Một điều thú vị về ngữ nghĩa tiên đề như tương phản với các loại biểu thức là họ là khá thuyết bất khả tri của kết quả và điều kiện cụ thể. Thay vào đó, ngữ nghĩa tiên đề mô tả cách mà một hệ thống hoạt động. Một cách để nghĩ về điều này được sử dụng từ gốc, tiên đề, trong đó hàm ý một số sự thật hiển nhiên rộng hơn về một hệ thống. Ví dụ, một tuyên bố ngữ nghĩa tiên đề về một chức năng nhất định sẽ mô tả những gì nó có nghĩa là để làm, những gì sắp xếp của các đối số phải mất, và những gì sắp xếp của kết quả nó sẽ trả về. Điều này sẽ không đòi hỏi kiến thức của các biến thực tế có liên quan.
What is the Axiomatic Semantics? - Definition
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.
Understanding the 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.
Thuật ngữ liên quan
- Semantics
- Denotational Semantics
- Function
- Procedure
- Variable
- Commit
- Access Modifiers
- Acyclic
- Appending Virus
- Armored Virus
Source: Axiomatic Semantics là gì? Technology Dictionary - Filegi - Techtopedia - Techterm