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
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
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