Titlebook: Understanding Programming Languages; Cliff B. Jones Textbook 2020 Springer Nature Switzerland AG 2020 Programming Language.Operational Sem

面包屑

詩集

Operational semantics,Chapter 2 shows how to delimit texts in a language by using a syntax meta-language. This chapter moves on to the problem of fixing the meaning of texts in languages by using a semantic meta-language.

pulse-pressure

Constraining types,In early versions of FORTRAN, the type of a variable was determined by the first letter of its identifier. This chapter shows how to describe an object language that expands on the idea of listing the permissible names of variables and looks at the advantages of declaring a specific type for each variable.

責任

depreciate

STERN

Other semantic approaches,The main focus in this book is on the operational approach to documenting the semantics of programming languages. There are however other approaches and understanding them is both instructive in itself and also throws light on operational semantics by clarifying their relationship thereto.

Foment

Gentry

Concurrent OOLs,Although it is essential that specification methods are capable of describing languages –such as that outlined in Section 8.2– that permit unconstrained access to shared variables, it is more advantageous to use the description techniques to understand –and potentially design– languages that embody tractable concurrency.

Obloquy

偶然