Sign in

Denotational and operational semantics for interaction languages: Application to trace analysis.

Erwan MaheChristophe GastonPascale Le Gall
Published in: Sci. Comput. Program. (2024)
Keyphrases
  • operational semantics
  • formal semantics
  • databases
  • machine learning
  • information extraction
  • mental states