Approximating module semantics with constraints.

Francesco Logozzo

Published in: SAC (2004)

Keyphrases

semantic properties
formal semantics
constraint satisfaction
constrained optimization
operational semantics
derivation rules
genetic algorithm
metadata
co occurrence
logic programming
resource constraints
structural constraints