A Formal Implementation of Value Commitment.

Cédric Fournet Nataliya Guts Francesco Zappa Nardelli

Published in: ESOP (2008)

Keyphrases

implementation details
database
e learning
multi agent systems
data sets
databases
information retrieval
image processing
high level
data structure
information technology
formal analysis
implementation issues
formal models