Login / Signup

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.

Ling ZhangYuting WangJinhua WuJérémie KoenigZhong Shao
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • open systems
  • decision making
  • databases
  • building blocks
  • data sets
  • machine learning
  • decision trees
  • face recognition
  • multiscale
  • functional modules
  • modular architecture
  • modular structure