A correspondence between continuation passing style and static single assignment form

We define syntactic transformations that convert continuation passing style (CPS) programs into static single assignment form (SSA) and vice versa. Some CPS programs cannot be converted to SSA, but these are not produced by the usual CPS transformation. The CPS→SSA transformation is especially helpf...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM SIGPLAN Workshop on Intermediate Representations, 1995 1995, 1995-03, Vol.30 (3), p.13-22
1. Verfasser:	Kelsey, Richard A.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!