Abstract

Machine 49 10.1 Representation of data in memory : : : : : : : : : : : : : : : : : : : : : : : : : : 49 10.1.1 Integers : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 50 10.1.2 Reals : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 51 10.1.3 Strings : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 52 10.1.4 Closures : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 52 10.1.5 Records and tuples : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 52 10.1.6 Value constructors : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 52 10.1.7 References : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 53 10.1.8 Exception names : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 53 CONTENTS v 10.1.9 Exception constructors : : : : : : : : : : : : : : : : : : : : : : : : : : : : 53 10.2 Integrating the ML Kit system and the abstract machine : : : : : : : : : : : : : 53 10.3 Limitations of the Zinc abstract machine : : : : : : : : : : : : : : : : : : : : : : 54 11 A Lambda Language Based on de Bruijn Indexes 57 11.1 The source language : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 57 11.2 The target language : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 59 11.3 The T translation scheme : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 60 12 Generating Sequential Code 65 12.1 Syntax of the sequential code : : : : : : : : : : : : : : : : : : : : : : : : : : : : 65 12.2 Generation of initial code and function code : : : : : : : : : : : : : : : : : : : : 67 12.2.1 Variables and constants : : : : : : : : : : : : : : : : : : : : : : : : : : : 69 12.2.2 Function application : : : : : : : : : : : :...

Citations