/
Towards a Unified Theory of Operational and Axiomatic Seman Towards a Unified Theory of Operational and Axiomatic Seman

Towards a Unified Theory of Operational and Axiomatic Seman - PowerPoint Presentation

tawny-fly
tawny-fly . @tawny-fly
Follow
385 views
Uploaded On 2015-10-23

Towards a Unified Theory of Operational and Axiomatic Seman - PPT Presentation

Grigore Rosu and Andrei Stefanescu University of Illinois USA Operational Semantics Operational Semantics Easy to define and understand Can be regarded as formal implementations Require little mathematical knowledge ID: 169912

operational semantics reachability rules semantics operational rules reachability rule language system axiomatic hoare proof define program logic reasoning triples

Share:

Link:

Embed:

Download Presentation from below link

Download Presentation The PPT/PDF document "Towards a Unified Theory of Operational ..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript