定义程序语言语义的三种方法

  • Interpretive : meaning is expressed in terms of some simple abstract m/c.
  • Axiomatic : where rules describe data values given various objects before and after execution of various language features.
  • Denotational : syntactic pieces of program are mapped via evaluation functions into the abstract values they denote to humans.

posted on 2010-09-18 10:30  胡是  阅读(275)  评论(0)  编辑  收藏  举报

导航