Article Dans Une Revue Annals of Mathematics and Artificial Intelligence Année : 1994

Towards Reasoning about Hoare Relations

Résumé

A logical framework is presented for defining semantics of programs that satisfy Hoare postulates. The two families of logical systems are given: modal systems and relational systems. In the modal systems semantics of Hoare-style programming languages is provided in terms of relations and sets, and in relational systems in terms of relations only. Proof theory for the given logics is presented.

Dates et versions

hal-03193712 , version 1 (09-04-2021)

Identifiants

Citer

Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky. Towards Reasoning about Hoare Relations. Annals of Mathematics and Artificial Intelligence, 1994, 12 (3-4), pp.265-289. ⟨10.1007/BF01530788⟩. ⟨hal-03193712⟩

Collections

92 Consultations
0 Téléchargements

Altmetric

Partager

  • More