TYPE SPECIALIZATION FOR IMPERATIVE LANGUAGES

Authors
DUSSART D HUGHES J THIEMANN P
Citation
D. Dussart et al., TYPE SPECIALIZATION FOR IMPERATIVE LANGUAGES, ACM SIGPLAN NOTICES, 32(8), 1997, pp. 204-216
Citations number
30
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
ACM SIGPLAN NOTICES → ACNP
Volume
32
Issue
8
Year of publication
1997
Pages
204 - 216
Database
ISI
SICI code
Abstract
We extend type specialisation to a computational lambda calculus with first-class references. The resulting specialiser has been used to spe cialise a self-interpreter for this typed computational lambda calculu s optimally. Furthermore, this specialiser can perform operations on r eferences st specialisation time, when possible.