Login / Signup

A Compositional Semantics for Verified Separate Compilation and Linking.

Tahina RamananandroZhong ShaoShu-Chun WengJérémie KoenigYuchen Fu
Published in: CPP (2015)
Keyphrases
  • compositional semantics
  • natural language
  • discourse structure
  • question answering