Dead Code Elimination in Formal Synthesis.

Kai Kapp Viktor K. Sabelfeld

Published in: MBMV (2003)

Keyphrases

source code
neural network
texture synthesis
formal model
program synthesis
computer vision
formal representation
mobile robot
linux kernel
formal models
formal methods
formal specification
database
multi agent systems
search algorithm
multiscale
image processing
information systems
artificial intelligence
databases