A Mechanized Theory of Program Refinement.

Boubacar Demba Sall Frédéric Peschanski Emmanuel Chailloux

Published in: ICFEM (2019)

Keyphrases

computational model
neural network
information systems
theoretical basis
information theory
artificial intelligence
clustering algorithm
logic programs
step wise