Publikationsansicht

Implementing Typeful Program Transformations (2008)

Abstract

The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformation, we need to choose a representation in the meta language, that is, the programming language in which we construct programs, for representing object programs, that is, the programs in the object language on which the program transformation is to be performed. In practice, most representations chosen for typed...

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.127.5667
Quelle	http://www.cs.bu.edu/~hwxi/academic/papers/FIitpt.pdf
Herausgeber	IOS Press
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Typeful Program Transformation, Dependent Types, Applied Type System, ATS, Continuation Passing Style, CPS
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.21.5854, 10.1.1.24.6526, 10.1.1.120.7560, 10.1.1.135.8794, 10.1.1.41.548, 10.1.1.27.353, 10.1.1.43.4232, 10.1.1.26.6893, 10.1.1.47.155, 10.1.1.47.86, 10.1.1.11.7844, 10.1.1.7.8004, 10.1.1.44.7943, 10.1.1.70.4267, 10.1.1.111.6492, 10.1.1.85.2769, 10.1.1.19.8942, 10.1.1.34.7632, 10.1.1.39.2895, 10.1.1.59.2300, 10.1.1.4.1762, 10.1.1.23.8633, 10.1.1.59.2300, 10.1.1.116.7468, 10.1.1.101.7340, 10.1.1.70.6753, 10.1.1.72.1688, 10.1.1.83.4845, 10.1.1.85.4869, 10.1.1.86.6174, 10.1.1.93.3729, 10.1.1.117.6203