Login / Signup

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.

Mariangiola Dezani-CiancagliniSilvia GhilezanSvetlana JaksicJovanka PantovicNobuko Yoshida
Published in: Theory and Practice of Formal Methods (2016)
Keyphrases
  • operational semantics
  • decision making
  • data sets
  • learning algorithm
  • information systems
  • search space
  • active learning
  • control system
  • probability distribution