共 50 条
- [3] A MODULAR VERIFIABLE EXCEPTION-HANDLING MECHANISM ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (02): : 214 - 243
- [5] Analysis of programs with exception-handling constructs INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1998, : 348 - 357
- [7] THE EXCEPTION-HANDLING FACILITIES OF PL/I PROCEEDINGS : SEAS ANNIVERSARY MEETING 1989, VOLS 1 AND 2: THE CORPORATE NETWORK, 1989, : 1367 - 1383
- [8] Verifying Exception-Handling Code in Concurrent Libraries PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 405 - 414