SCOPUS 정보 검색 플랫폼

Volumn 23, Issue 10, 1993, Pages 1157-1174

Static analysis of exception handling in Ada

Author keywords

Ada; Exception handling; Static analysis

Indexed keywords

PROGRAM DIAGNOSTICS;

ADA EXCEPTION HANDLING; ADA SUBPROGRAM SIGNATURE; INTER-PROCEDURAL EXCEPTION HANDLING; STATIC ANALYSIS;

ADA (PROGRAMMING LANGUAGE);

EID: 0027677094 PISSN: 00380644 EISSN: 1097024X Source Type: Journal
DOI: 10.1002/spe.4380231007 Document Type: Article

Times cited : (25)

References (11)

1
- 84987237125
- ‘Exception handling in large Ada systems’, Washington Ada Symposium Proceedings, June
- (1991) , pp. 90-101
- Howell, C.¹ Mularz, D.²

2
- 84987212830
- ‘Exception handling, or “when bad things happen to good programs”’, 14th International Conference on Software Engineering Tutorial, May
- (1992)
- Howell, C.¹ Mularz, D.² Bundy, G.³

3
- 0026869521
- Data‐oriented exception handling
- (1992) IEEE Trans. Software Engineering , vol.18 , Issue.5 , pp. 393-401
- Cui¹ Gannon²

4
- 0022754942
- Advances in software inspections
- (1986) IEEE Trans. Software Engineering , vol.12 SE , Issue.7 , pp. 744-751
- Fagan¹

5
- 0025436318
- Evaluation of safety‐critical software
- (1990) Communications of the ACM , vol.33 , Issue.6 , pp. 636-648
- Parnas¹ van Schouwen² Kwan³

6
- 0003685762
- ANSI/Military Standard MIL‐STD‐1815A‐1983, U.S. Department of Defense, January
- (1983) Reference Manual for the Ada Programming Language

7
- 0016623975
- Exception handling: issues and a proposed notation
- (1975) Communications of the ACM , vol.18 , Issue.12 , pp. 683-696
- Goodenough, J.B.¹

10
- 0018545529
- Exception handling in CLU
- (1979) IEEE Trans. Software Engineering , vol.5 , Issue.6 , pp. 546-558
- Liskov, B.¹ Snyder, A.²

11
- 84976682041
- Rationale for the design of the Ada programming language
- Part B
- (1979) SIGPLAN Notices , vol.14 , Issue.6
- Ichbiah, J.D.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.