𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Integrated semantics and logic metric spaces

✍ Scribed by Guo-Jun Wang; Yee Leung

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
306 KB
Volume
136
Category
Article
ISSN
0165-0114

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Notes on Logics of Metric Spaces
Notes on Logics of Metric Spaces
✍ Oliver Kutz πŸ“‚ Article πŸ“… 2007 πŸ› Springer Netherlands 🌐 English βš– 340 KB
Logic, cybernetics, and semantics
Logic, cybernetics, and semantics
✍ Oliver L. Reiser πŸ“‚ Article πŸ“… 1955 πŸ› Springer Netherlands 🌐 English βš– 803 KB
Semantics, Modularity, and Rewriting Log
Semantics, Modularity, and Rewriting Logic
✍ Peter D. Mosses πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 872 KB

A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extensi