Strategic directions in software engineering and programming languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Strategic directions in software engineering and programming languages

Full text

Pdf (201 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 28 , Issue 4 (December 1996) table of contents
Special ACM 50th-anniversary issue: strategic directions in computing research

Pages: 727 - 737

Year of Publication: 1996

ISSN:0360-0300

Authors

Carl Gunter	Univ. of Pennsylvania, Philadelphia
John Mitchell	Stanford Univ., Stanford, CA
David Notkin	Univ. of Washington, Seattle

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 73, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/242223.242283 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Martín Abadi , Butler Lampson , Jean-Jacques Lévy, Analysis and caching of dependencies, Proceedings of the first ACM SIGPLAN international conference on Functional programming, p.83-91, May 24-26, 1996, Philadelphia, Pennsylvania, United States
	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	Darren C. Atkinson , William G. Griswold, The design of whole-program analysis tools, Proceedings of the 18th international conference on Software engineering, p.16-27, March 25-29, 1996, Berlin, Germany
	4	David Callahan , Ken Kennedy, Analysis of interprocedural side effects in a parallel programming environment, Journal of Parallel and Distributed Computing, v.5 n.5, p.517-550, October 1988 [doi>10.1016/0743-7315(88)90011-1]
	5	Craig Chambers , Jeffrey Dean , David Grove, A framework for selective recompilation in the presence of complex intermodule dependencies, Proceedings of the 17th international conference on Software engineering, p.221-230, April 24-28, 1995, Seattle, Washington, United States [doi>10.1145/225014.225035]
	6	Elliot J. Chikofsky , James H. Cross II, Reverse Engineering and Design Recovery: A Taxonomy, IEEE Software, v.7 n.1, p.13-17, January 1990 [doi>10.1109/52.43044]
	7	Edmund M. Clarke, Jr. , Steven M. German , Joseph Y. Halpern, Effective Axiomatizations of Hoare Logics, Journal of the ACM (JACM), v.30 n.3, p.612-636, July 1983 [doi>10.1145/2402.322394]
	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	Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	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	Susan Horwitz , Thomas Reps , David Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.26-60, Jan. 1990 [doi>10.1145/77606.77608]
	14	LEHMAN, M.M. 1980. Programs, life cycles, and laws of software evolution. Proc. IEEE 68, 9, 1060-1076.
	15	Gail C. Murphy , David Notkin, Lightweight source model extraction, Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, p.116-127, October 12-15, 1995, Washington, D.C., United States
	16	Gail C. Murphy , David Notkin , Erica S.-C. Lan, An empirical study of static call graph extractors, Proceedings of the 18th international conference on Software engineering, p.90-99, March 25-29, 1996, Berlin, Germany
	17	David Lorge Parnas, Software aging, Proceedings of the 16th international conference on Software engineering, p.279-287, May 16-21, 1994, Sorrento, Italy
	18	SCHERLIS, W. 1994. Boundary and path manipulations on abstract data types. In IFIP Trans. A (Comput. Sci. Technol.) (Sept.), 615- 620.
	19	Myra Ellen Vaninwegen , Carl Gunter, The machine-assisted proof of programming language properties, 1996
	20	Jeannette M. Wing, A Specifier's Introduction to Formal Methods, Computer, v.23 n.9, p.8-23, September 1990 [doi>10.1109/2.58215]