extinct
发表于 2025-3-28 18:06:23
2 Preliminaries,ractical value, perhaps for a number of user categories. This chapter starts with a small section that motivates this assumption, followed by an overview of some of the formalisms that have been used for programming languages to date. It ends with a more detailed overview of our formalism of choice, viz. Natural Semantics.
制度
发表于 2025-3-28 20:30:27
3 The Design of RML,guage is often influenced by several different sources: intended application areas, existing languages, experiences from early implementation efforts, and experiences from attempting to (perhaps formally) specify it. Ignoring any one of these influences can lead to serious deficiencies in the language.
混乱生活
发表于 2025-3-29 00:08:14
6 Reducing Nondeterminism,t. In contrast, specifications usually contain relations with several, often partially overlapping, rules. Executing a specification involves searching among rules for those that contribute to a successful completion. Much control information (choice points) is therefore created on a control stack to guide this search.
Hormones
发表于 2025-3-29 03:11:34
8 Compiling Continuations,ny of the actual . used to implement specifications. In the final code, these mechanisms are . explicit, making optimizations more difficult. A continuation-passing style (CPS) representation sits in between these extremes, allowing operational behaviour to be expressed and manipulated in a declarative framework: the call-by-value .-calculus.
Moderate
发表于 2025-3-29 10:09:04
http://reply.papertrans.cn/24/2313/231278/231278_45.png
ornithology
发表于 2025-3-29 14:50:10
http://reply.papertrans.cn/24/2313/231278/231278_46.png
BUDGE
发表于 2025-3-29 15:57:02
http://reply.papertrans.cn/24/2313/231278/231278_47.png
具体
发表于 2025-3-29 19:43:51
https://doi.org/10.1007/978-3-030-13984-1This chapter marks the end of this book. Here I summarize our contributions and indicate some possibilities for future work.
epinephrine
发表于 2025-3-30 02:30:35
1 Introduction,This short introductory chapter starts by presenting the problem we are trying to solve, followed by a summary of our suggested solution to it, and a brief overview of the remaining chapters. At the end we relate this thesis to our previous work.
Delectable
发表于 2025-3-30 07:54:49
http://reply.papertrans.cn/24/2313/231278/231278_50.png