Transformation of Applicative Specifications into Imperative ...
Transformation of Applicative Specifications into Imperative ... Transformation of Applicative Specifications into Imperative ...
Preface This report documents the M.Sc. project of Tine Damkjær Jørgensen. The project has been carried out in the period from September 27th, 2004, to April 25th, 2005, at the Technical University of Denmark, Department of Informatics and Mathematical Modelling, the Computer Science and Engineering division. The project was supervised by Associate Professor, Ph.D. Anne E. Haxthausen and Associate Professor Hans Bruun. I would like to thank my supervisors for their great interest in my work and their constructive criticism and inspiration during the project period. Tine Damkjær Jørgensen, s991160 vii Kgs. Lyngby, April 25, 2005
- Page 1: Transformation of Applicative Speci
- Page 5: Resumé RAISE udviklingsmetoden er
- Page 9 and 10: Contents 1 Introduction 1 1.1 The R
- Page 11 and 12: CONTENTS 9.8.2 Check for Non-Syntac
- Page 13 and 14: List of Tables 6.1 Transformation o
- Page 15 and 16: List of Figures 1.1 Development pro
- Page 17 and 18: Chapter 1 Introduction There are se
- Page 19 and 20: 1.2. MOTIVATION Instead of developi
- Page 21 and 22: 1.6. STRUCTURE OF THE REPORT Furthe
- Page 23 and 24: Chapter 2 General Idea In order to
- Page 25 and 26: 2.1. THE STACK EXAMPLE both sides w
- Page 27 and 28: ✄ value increment : T × Int →
- Page 29 and 30: Chapter 3 Terminology During the re
- Page 31 and 32: Hidden Observer 3.2. TERMS AND DEFI
- Page 33 and 34: Proper T-generator 3.2. TERMS AND D
- Page 35 and 36: Chapter 4 Constraints In this proje
- Page 37 and 38: 4.1. THE RSL CONSTRUCTIONS NOT CONS
- Page 39 and 40: 4.1. THE RSL CONSTRUCTIONS NOT CONS
- Page 41 and 42: Chapter 5 Transformability Not ever
- Page 43 and 44: 5.2. CONDITIONS FOR TRANSFORMABILIT
- Page 45 and 46: Chapter 6 Transformations In this c
- Page 47 and 48: 6.3. TRANSFORMING TYPE DEFINITIONS
- Page 49 and 50: 6.4. TRANSFORMING EXPLICIT FUNCTION
- Page 51 and 52: 6.4. TRANSFORMING EXPLICIT FUNCTION
- Page 53 and 54: 6.4. TRANSFORMING EXPLICIT FUNCTION
- Page 55 and 56: 6.4. TRANSFORMING EXPLICIT FUNCTION
Preface<br />
This report documents the M.Sc. project <strong>of</strong> Tine Damkjær Jørgensen. The<br />
project has been carried out in the period from September 27th, 2004, to<br />
April 25th, 2005, at the Technical University <strong>of</strong> Denmark, Department <strong>of</strong><br />
Informatics and Mathematical Modelling, the Computer Science and Engineering<br />
division. The project was supervised by Associate Pr<strong>of</strong>essor, Ph.D.<br />
Anne E. Haxthausen and Associate Pr<strong>of</strong>essor Hans Bruun.<br />
I would like to thank my supervisors for their great interest in my work<br />
and their constructive criticism and inspiration during the project period.<br />
Tine Damkjær Jørgensen, s991160<br />
vii<br />
Kgs. Lyngby, April 25, 2005