Strategic directions in software engineering and programming languages

ACM Computing Surveys

Volumn 28, Issue 4, 1996, Pages 727-737

  Gunter, Carl ^a   Mitchell, John ^b   Notkin, David ^c  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b STANFORD UNIVERSITY   (United States)

^c University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 4243123361     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/242223.242283     Document Type: Article

References (20)

1. ABADI, M., LAMPSON, B., AND LEVY, J.-J. 1996. Analysis and caching of dependencies. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, R- K. Dybvig, Ed.
2. ALSPAUGH, T. A., FAULK, S. R., BRITOON, K., PARKER, R. A., PARNAS, D. L., AND SHORE, J. E. 1992. Software requirements for the A-7E aircraft. Tech. Rep. NRL/FR/5530-92-9194 (31 August), Naval Research Laboratory, Washington, DC 20375-5320.
3. ATKINSON, D. C. AND GRISWOLD, W. G. 1996. The design of whole-program analysis tools. In Proceedings of the Eighteenth International Conference on Software Engineering (March).
4. CALLAHAN, D. AND KENNEDY, K. 1988. Analysis of interprocedural side effects in a parallel programming environment. J. Parallel Distrib. Comput. 5, 5 (Oct.), 517-550.
5. CHAMBERS, C., DEAN, J., AND GROVE, D. 1995. A framework for selective recompilation in the presence of complex intermodule dependencies. In Proceedings of Seventeenth International Conference on Software Engineering (IEEE Cat, April), 221-230.
6. CHIKOFSKY, E. AND CROSS, J. 1990. Reverse engineering and design recovery: A taxonomy. IEEE Softw.
7. CLARKE, E. M., GERMAN, S. M., AND HALPERN, J. Y. 1983. On effective axiomatizations of Hoare logics. J. ACM 30, 612-636.
8. CRAIGEN, D. H., GERHART, S. L., AND RALSTON, T. J. 1993a. An international survey of industrial applications of formal methods, vol. 1-Purpose, approach, analysis, and conclusions. Tech. Rep. NRL/FR/5546-93-9581 (30 Sept.), Naval Research Laboratory, Washington, DC, 20375-5320.
9. CRAIGEN, D. H., GERHART, S. L., AND RALSTON, T. J. 1993b. An international survey of industrial applications of formal methods, vol. 2-Case studies. Tech. Rep. NRL/FR/5546-93-9582 (30 Sept.), Naval Research Laboratory, Washington, DC, 20375-5320.
10. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1994. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, MA.
11. GONG, L., LINCOLN, P., AND RUSHBY, J. 1995. Byzantine agreement with authentication: Observations and applications in tolerating hybrid and link faults. In Dependable Computing for Critical Applications-5 (Champaign, IL, Sept.), 79-90. IFIP WG 10.4, preliminary proceedings.
12. HAYES, B. 1995. Waiting for 01-01-00. Am. Sci. 83, 1.
13. HORWITZ, S., REPS, T., AND BINKLEY, D. 1990. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12, (Jan), 26-60.
14. LEHMAN, M. M. 1980. Programs, life cycles, and laws of software evolution. Proc. IEEE 68, 9, 1060-1076.
15. MURPHY, G. C. AND NOTKIN, D. 1995. Lightweight source model extraction. In SIGSOFT '95. Third ACM SIGSOFT Symposium on Foundations of Software Engineering (Oct).
16. MURPHY, G. C., NOTKIN, D., AND LAN, E. S.-C. 1996. An empirical study of static call graph extractors. In Proceedings of the Eighteenth International Conference on Software Engineering (March), 90-99.
17. PARNAS, D. L. 1994. Software aging. In Proceedings of Sixteenth International Conference on Software Engineering (Cat, May), 279-287.
18. SCHERLIS, W. 1994. Boundary and path manipulations on abstract data types. In IFIP Trans. A (Comput. Sci. Technol.) (Sept.), 615-620.
19. VANINWEGEN, M. 1996. The machine-assisted proof of programming language properties. Ph.D. Thesis, University of Pennsylvania.
20. WING, J. 1990. A specifier's introduction to formal methods. Computer 8-22.