Learn More
An English-language fragment L/sub NS/, which is used for writing program specifications, is defined using the algebraic language ASL/*. In order to define the semantics of L/sub NS/, the translation from each sentence in L/sub NS/ into a formula in a formal system is defined. If a sentence s in L/sub NS/ is translated into a formula t, then the semantics(More)
  • 1