SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Automated Code Generator Verification Based on Algebraic Laws
 by Karl-Heinz Buth.

Axiomatic semantics definitions with so-called "laws of programming" has been advocated as being a natural method that is easy to use for verification without requiring deep specialized mathematical knowledge (see Hoare et al. [HHJ+87]). The appealing feature of this method is that the semantics of a language is described only by equations (or refinement relationships) relating syntactic objects of the language without explicit mention of semantic entities.


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2019 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy