Artículo:

Termination Analysis and Specialization-Point Insertion in Offline Partial Evaluation

Autor:

A. J. Glenstrup

N. D. Jones

Página:

1147

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

27

Número:

6

Periodo:

Noviembre-Diciembre 2005

ISSN:

01640925 TUT Dynamic Software Updating

SrcID:

01640925-2005-06.txt