Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| public:99_annexes:annex-b-terms-and-definitions:f:formal_semantics [2026/09/12 17:42] – ↷ Page moved from private:99_annexes:annex-b-terms-and-definitions:f:formal_semantics to public:99_annexes:annex-b-terms-and-definitions:f:formal_semantics nick_dido | public:99_annexes:annex-b-terms-and-definitions:f:formal_semantics [2026/09/12 17:43] (current) – ↷ Links adapted because of a move operation nick_dido | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Formal Semantics ====== | ====== Formal Semantics ====== | ||
| - | [[private: | + | [[public: |
| ===== Discussion ===== | ===== Discussion ===== | ||
| Line 9: | Line 9: | ||
| Formal semantics separates meaning from implementation syntax, storage technology, programming language, exchange mechanism, deployment environment, | Formal semantics separates meaning from implementation syntax, storage technology, programming language, exchange mechanism, deployment environment, | ||
| - | Formal semantics supports consistent interpretation across implementations, | + | Formal semantics supports consistent interpretation across implementations, |
| ===== Definition ===== | ===== Definition ===== | ||
| Line 17: | Line 17: | ||
| ===== Source ===== | ===== Source ===== | ||
| - | Structured Information Processing [[private: | + | Structured Information Processing [[public: |
| ===== Note ===== | ===== Note ===== | ||
| Line 25: | Line 25: | ||
| ===== Example ===== | ===== Example ===== | ||
| - | A [[private: | + | A [[public: |
| ---- | ---- | ||