Register allocation by proof transformation.

Published in: Sci. Comput. Program. (2004)

Keyphrases

resource allocation
theorem prover
information retrieval
theorem proving
linear transformation
dynamic allocation
databases
artificial intelligence
social networks
decision making
case study
transformation parameters
allocation strategy