Login / Signup

Reasoning about MLIR Semantics through Effects and Handlers.

Pingshi Yu
Published in: ISSTA (2023)
Keyphrases
  • multilingual information retrieval
  • formal semantics
  • search engine
  • logic programming
  • knowledge base
  • knowledge representation
  • web search
  • semantic information
  • complete axiomatization