A formalization of Static Analyses in System F.

Frédéric Prost

Published in: CADE (1999)

Keyphrases

computational complexity
knowledge representation
formal model
dynamic analysis
database
genetic algorithm
social networks
information systems
object recognition
trade off
scheduling problem
operational semantics