DMCA
A Study in Higher-Order Programming Languages (1997)
| Citations: | 7 - 2 self |
BibTeX
@MISC{Rhiger97astudy,
author = {Morten Rhiger and Morten Rhiger},
title = {A Study in Higher-Order Programming Languages},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first investigate a traditional implementation of Scheme (compiler, run-time machine). We then turn to Action Semantics. And finally we cross-fertilize these two approaches using both syntax-directed and type-directed partial evaluation and introducing an alternative representation of data structures. December 1997 To my late father Acknowledgments First of all I thank my supervisor, Olivier Danvy, from whom I learn every day. I appreciate his technical expertise and his knowledge of how to work scientifically. His insight in computer science and his will to share this insight with his students exceeds what I have otherwise been exposed to. Peter D. Mosses's course at DAIMI in the spring of 1997 was an inspiring tour of Action Semantics. Rene Vestergaard gave useful comments on a draft of this thesis of both syntactic and semantic nature. He pointed ou...
Keyphrases
higher-order programming language action semantics run-time machine data structure olivier danvy technical expertise type-directed partial evaluation inspiring tour traditional implementation computer science alternative representation semantic nature useful comment rene vestergaard late father acknowledgment first
