Login / Signup

Diverse executable semantics definitions in NUSL and an implementation of functional types.

XinJie JiangYongSen Xu
Published in: ACM SIGPLAN Notices (1990)
Keyphrases
  • wide variety
  • data mining
  • fixed point semantics
  • semantic information
  • hardware implementation
  • default reasoning
  • formal semantics
  • specification language
  • attribute grammars
  • precise definition