Login / Signup

From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert.

Sandrine Blazy
Published in: FASE (2024)
Keyphrases
  • logic programming
  • formal semantics
  • semantic information
  • database
  • databases
  • logical language
  • data sets
  • information retrieval
  • artificial intelligence
  • website
  • web services
  • data structure
  • specification language