C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Compositional CompCert.
Gordon Stewart
Lennart Beringer
Santiago Cuellar
Andrew W. Appel
Published in:
POPL (2015)
Keyphrases
</>
database
objective function
decision support
user defined