𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Semantics of programming languages

✍ Scribed by R. D. Tennent


Publisher
Prentice Hall
Year
1991
Tongue
English
Leaves
246
Series
Prentice Hall International Series in Computer Science
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Concepts and Semantics of Programming La
✍ ThΓ©rΓ¨se Hardin; Mathieu Jaume; FranΓ§ois Pessaux; VΓ©ronique ViguiΓ© Donzeau-Gouge πŸ“‚ Library πŸ“… 2021 🌐 English

This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming

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