Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.

Karina Olmos Eelco Visser

Published in: SCAM (2003)

Keyphrases

dynamic analysis
static analysis
dynamic environments
programming language
database
general purpose
back end
eye typing
dynamic routing
computer programs
reverse engineering
case study
multiresolution
high level
programming environment
information systems
dynamic constraints
program code
artificial intelligence