Sciweavers

ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
13 years 2 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David