Hypermap Specification and Certified Linked Implementation Using Orbits.

Jean-François Dufourd

Published in: ITP (2014)

Keyphrases

specification language
dynamical systems
information retrieval
genetic algorithm
high level
efficient implementation
implementation issues
data mining
e learning
reinforcement learning
optimal solution
data structure
probabilistic model
formal specification