Login / Signup

Type-Directed Operational Semantics for Gradual Typing.

Wenjia YeBruno C. d. S. OliveiraXuejing Huang
Published in: ECOOP (2021)
Keyphrases
  • operational semantics
  • formal semantics
  • denotational semantics
  • data model
  • intelligent agents
  • mental states
  • declarative semantics
  • database
  • artificial intelligence
  • computational intelligence
  • inference rules