| Computer Science Laboratory | |
| Contact | |
 | People at CSL |
| Projects at CSL |
| Research Programs |
| Division Home | |
 Automated Code Generator Verification Based on Algebraic Laws by Karl-Heinz Buth. Abstract 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.Files |
||||
About Us 
R&D Divisions
Careers
Newsroom
Contact Us
©
2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy