𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Algebraic semantics of imperative programs

✍ Scribed by Joseph Goguen; Grant Malcolm

Publisher
MIT Press
Year
1996
Tongue
English
Leaves
242
Series
Foundations of computing
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Algebraic Semantics of Imperative Progra
πŸ“ Algebraic Semantics of Imperative Programs
✍ Joseph A. Goguen, Grant Malcolm πŸ“‚ Library πŸ“… 1996 πŸ› The MIT Press 🌐 English

Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run.The semantics of impera

Algebraic Semantics of Imperative Progra
πŸ“ Algebraic Semantics of Imperative Programs
✍ Joseph A. Goguen, Grant Malcolm πŸ“‚ Library πŸ“… 1996 πŸ› The MIT Press 🌐 English

<p>Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run.The semantics of imp

Algebraic Approaches to Program Semantic
πŸ“ Algebraic Approaches to Program Semantics
✍ 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
πŸ“ Algebraic approaches to program semantics
✍ 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