Titlebook: Introduction to the Theory of Programming Languages; Gilles Dowek,Jean-Jacques Lévy Textbook 2011 Springer-Verlag London Limited 2011 Assi

GULF

暗指

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.

变量

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.

耕种

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

使腐烂

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

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.

有限

Epilogue,The Epilogue discusses the goals of the theory of programming languages: building tools to describe existing languages or to define new ones?

背信

978-0-85729-075-5Springer-Verlag London Limited 2011

Madrigal

Introduction to the Theory of Programming Languages978-0-85729-076-2Series ISSN 1863-7310 Series E-ISSN 2197-1781