Login / Signup

CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote).

Sandrine Blazy
Published in: CPP (2023)
Keyphrases
  • logic programming
  • key issues
  • formal semantics
  • operational semantics
  • conceptual model
  • logical language
  • conceptual graphs
  • neural network
  • website
  • knowledge discovery and data mining
  • semantic representation