๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Logical consequence, semantic and formal

โœ Scribed by Z. Lis


Publisher
Springer Netherlands
Year
1960
Tongue
English
Weight
99 KB
Volume
10
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Formal and material consequence
โœ Stephen Read ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 991 KB
Realism and formal semantics
โœ David Pearce; Veikko Rantala ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 796 KB
Logic, cybernetics, and semantics
โœ Oliver L. Reiser ๐Ÿ“‚ Article ๐Ÿ“… 1955 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 803 KB
Semantics, Modularity, and Rewriting Log
โœ 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