面包屑
发表于 2025-3-25 03:59:26
http://reply.papertrans.cn/95/9417/941616/941616_21.png
诗集
发表于 2025-3-25 07:39:41
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
发表于 2025-3-25 14:44:09
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.
责任
发表于 2025-3-25 16:39:35
http://reply.papertrans.cn/95/9417/941616/941616_24.png
depreciate
发表于 2025-3-25 20:13:04
http://reply.papertrans.cn/95/9417/941616/941616_25.png
STERN
发表于 2025-3-26 01:14:31
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
发表于 2025-3-26 06:27:11
http://reply.papertrans.cn/95/9417/941616/941616_27.png
Gentry
发表于 2025-3-26 09:47:10
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
发表于 2025-3-26 13:17:27
http://reply.papertrans.cn/95/9417/941616/941616_29.png
偶然
发表于 2025-3-26 18:01:23
http://reply.papertrans.cn/95/9417/941616/941616_30.png