GULF
发表于 2025-3-26 23:57:51
http://reply.papertrans.cn/48/4745/474426/474426_31.png
暗指
发表于 2025-3-27 02:49:39
From Evaluation to Interpretation,This chapter introduces an essential notion in the implementation of programming languages: that of environment. Then it uses it to transform the evaluator built in the previous chapter into an interpretor. It finally discusses several optimizations: the use of De Bruijn indices and recursive closures.
变量
发表于 2025-3-27 07:31:59
Compilation,In this chapter the interpretor is transformed into a compiler. The emphasis is put on the construction of an abstract machine, whose language is the target language of the compilation. This chapter ends with the bootstrapping of this compiler.
耕种
发表于 2025-3-27 12:36:41
PCF with Types,This chapter opens a new part of the book, dedicated to types. The language PCF is extended by adding types. A type verification algorithm is described and the application to the static detection of errors is discussed in length. This chapter also describes the denotational semantics of PCF with types.
Cervical-Spine
发表于 2025-3-27 14:07:37
http://reply.papertrans.cn/48/4745/474426/474426_35.png
使腐烂
发表于 2025-3-27 18:55:10
References and Assignment,This chapter opens the last part of the book where PCF is extended with new features. This chapter focuses on references and assignments, and thus shifts from functional to imperative programming. A semantics is given for PCF with references and the interpretor of Chap. 3 is extended.
CERE
发表于 2025-3-27 22:37:03
Records and Objects,The final chapter of the book is dedicated to object oriented programming languages. An extension of PCF with objects is defined and implemented. But before that, an extension of PCF with records is. Then objects are introduced as records with functional fields.
有限
发表于 2025-3-28 02:24:58
Epilogue,The Epilogue discusses the goals of the theory of programming languages: building tools to describe existing languages or to define new ones?
背信
发表于 2025-3-28 08:37:47
978-0-85729-075-5Springer-Verlag London Limited 2011
Madrigal
发表于 2025-3-28 10:47:14
Introduction to the Theory of Programming Languages978-0-85729-076-2Series ISSN 1863-7310 Series E-ISSN 2197-1781