Login / Signup

A verified, efficient embedding of a verifiable assembly language.

Aymeric FromherzNick GiannarakisChris HawblitzelBryan ParnoAseem RastogiNikhil Swamy
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • programming language
  • natural language
  • computationally efficient
  • language learning
  • database
  • data sets
  • probabilistic model
  • lightweight
  • computationally expensive