537 search results - page 11 / 108 » Compiling Exceptions Correctly |
103
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Most modern programming languages rely on exceptions for dealing with abnormal situations. Although exception handling was a significant improvement over other mechanisms like chec...
134
Voted
ICEBE
2009
IEEE
14 years 11 months ago
2009
IEEE
Workflow management systems (WfMS) are widely used for improving business processes and providing better quality of services. However, rapid changes in business environment can ca...
125
Voted
VLDB
2001
ACM
15 years 6 months ago
2001
ACM
Business process automation technologies are being increasingly used by many companies to improve the efficiency of both internal processes as well as of e-services offered to cus...
130
Voted
FAC
2010
15 years 12 days ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
227
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...