共 50 条
- [3] A MODULAR VERIFIABLE EXCEPTION-HANDLING MECHANISM [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (02): : 214 - 243
- [4] Analysis of programs with exception-handling constructs [J]. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1998, : 348 - 357
- [5] THE EXCEPTION-HANDLING FACILITIES OF PL/I [J]. PROCEEDINGS : SEAS ANNIVERSARY MEETING 1989, VOLS 1 AND 2: THE CORPORATE NETWORK, 1989, : 1367 - 1383
- [6] Verifying Exception-Handling Code in Concurrent Libraries [J]. PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 405 - 414
- [7] BETTER EXCEPTION-HANDLING IN BLOCK-STRUCTURED SYSTEMS [J]. IEEE SOFTWARE, 1987, 4 (03) : 40 - 49
- [8] Toward exception-handling best practices and patterns [J]. IEEE SOFTWARE, 2006, 23 (05) : 11 - 13
- [9] Mining Exception-Handling Rules as Sequence Association Rules [J]. 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 496 - 506
- [10] Exception-handling extension for an object-oriented DBMS [J]. IDEAS '97 - INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 138 - 143