A new control flow representation

PN Robillard, M Simoneau - 1991 The Fifteenth Annual International …, 1991 - computer.org
A new control flow graph construction is described. This control flow representation is
rigorous and can be fully automated. It works for any procedural language and can be used …

An algebraic specification of a reflective language

M Kurihara, A Ohuchi - 1991 The Fifteenth Annual International …, 1991 - computer.org
A formal, algebraic specification is presented for a functional programming language, called
Brown, with reflective computation mechanisms. The emphasis is put on how it is possible to …

[PDF][PDF] A Bibliography of Publications about Common Lisp

NHF Beebe - 2022 - ctan.math.utah.edu
A Bibliography of Publications about Common Lisp Page 1 A Bibliography of Publications
about Common Lisp Nelson HF Beebe University of Utah Department of Mathematics, 110 …