Arity Raiser and its Use in Program Specialization.

Sergei A. Romanenko

Published in: ESOP (1990)

Keyphrases

program execution
real world
three dimensional
information technology
np hard
medical images
test cases
static analysis
programming environment