Representability and Program Construction within Fork Algebras.

Marcelo F. Frias Gabriel Baum Armando Martin Haeberer

Published in: Log. J. IGPL (1998)

Keyphrases

computer programs
program execution
image processing
data structure
static analysis
high level
boolean functions
spatial reasoning