A category-theoretic approach to the sem
β Frank Joseph Oles
π Library
π
1982
π School of Computer and Information Science Syracus
π English
β¦ LIBER β¦
π
Denotational semantics: The Scott-Strachey approach to programming language theory
β Scribed by Stoy J.E.
- Publisher
- MIT
- Year
- 1977
- Tongue
- English
- Leaves
- 451
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Semantic Domains and Denotational Semant
β Carl A. Gunter, Peter D. Mosses, Dana S. Scott
π Library
π
1989
π English
MS-CIS-89-16, LOGIC & COMPUTATION 04
Algebraic Approaches to Program Semantic
β Ernest G. Manes, Michael A. Arbib
π Library
π
1986
π Springer
π English
<p>In the 1930s, mathematical logicians studied the notion of "effective computΒability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming l
Algebraic approaches to program semantic
β Manes, Ernest G.; Arbib, Michael A
π Library
π
1986
π Springer New York
π English
In the 1930s, mathematical logicians studied the notion of "effective computΒ ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming lan
Semantics of Programming Languages and M
β Manfred Droste, Yuri Gurevich
π Library
π
1993
π CRC Press;Gordon & Breach
π English
The interplay between mathematical logic and the theory of programming languages has aroused an increasing amount of interest during the last decades. In this research area, the mathematical fields of model theory, logic and ordered structures have received new stimuli from computer science. Simulta
Semantics of Programming Languages and M
β Manfred Droste, Yuri Gurevich
π Library
π
1993
π CRC Press
π English
The interplay between mathematical logic and the theory of programming languages has aroused an increasing amount of interest during the last decades. In this research area, the mathematical fields of model theory, logic and ordered structures have received new stimuli from computer science. Simulta