A Hoare-like verification system for a language with an exception handling mechanism

• Authors:

• Danuta Szczepanska

• Affiliations:

• Univ. of Warsaw, Warsaw, Poland

• Venue:
• MFCS '89 Selected papers of the symposium on Mathematical foundations of computer science
• Year:
• 1991