|
 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
|
ASHCROFT, EDWARD, AND MANNA, ZOHAR. "The translation of 'go to' programs to 'while' programs," Proc. IFIP Congress 1971 Vol. 1, North-Holland Publ. Co., Amsterdam, The Netherlands, 1972, 250-255.
|
| |
2
|
BAKER, CHARLES L. "Review of D. D. Me- Craeken, Digital corc puter programming," Math. Comput. ll (19M), 298-305.
|
| |
3
|
BAKER, F. TERRY, ANY MILLs, H~A~ D. "Chief programmer teams," Datamation 19, 12 (December 1973), 58-61.
|
| |
4
|
BARRON, D. W. Recursive techniques in programming, American Elsevier, New York, 1968, 64 pp.
|
| |
5
|
|
| |
6
|
BERRY, D~NIELM. "Loops with normal and abnormal exits," Modeling and Measurement Note ~$, Computer Science.Department, Univ. California, Los Angeh.s, Calif. 1974, 39 pp.
|
 |
7
|
|
| |
8
|
|
| |
9
|
BROWN, Jells R. "In memoriam...", unpublished note, January 1974.
|
| |
10
|
|
| |
11
|
BURKHA~D, W. A. "Nonrecursive tree traversal algorithms," in Prec. 7th Annual Princeton Conf. on Information ~ciences and Systems, Princeton Univ. Press, Princeton, N.J., 1973, 403-405.
|
| |
12
|
CHEATHXM, T. E., J~., AND WwGBR~IT, BEN. "A laboratory,,.for the study of automating programming, m Prec. AFIPS 1972 Spring Joint Computer Conf., Vol. 40, AFIPS Press, Montvale, N.J., 1972, 1t-21.
|
| |
13
|
CL~_~K, R. L2,WR~NCE. "A linguistic contribution to GOTO-less programming," Datamagon 19, 12 (December 1973), 62-63.
|
| |
14
|
CLINT, M., .~ND HEAVE, C. A. R. "Program proving: jumps and functions," Acta Informatica 1, 3 (1972), 214-224.
|
| |
15
|
CooP~n, D. C. "The equivalence of certain computations," Computer J. 9, 1 (May 1966), 45-52.
|
| |
16
|
|
| |
17
|
DAaL, O.-J., DIJXSTnA, E. W., A~v HOARE, C. A. R. Structured programming, Academic Press, London, England, 1972, 220 pp.
|
| |
18
|
DAELINGTOh', J., AND BUaS~ALL, R. M. "A system which automatically improves programs," in Prec. 8rd Interntl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, Calif., 1973, 479-485.
|
| |
19
|
I)~ MARNEFFE, PIERRE-ARNoVL. "Helen programming: A survey," Universite de Liege, ~ervice Informatique, Liege, Belgium, 1973, 135 pp.
|
| |
20
|
DIJI~STRA, E. W. "Recursive programming," Numerische Mathematik 2, 5 (1960), 312-318.
|
| |
21
|
DIJKSTn~, E. W. "Programming considered as a huma~ activity," in Prec. IFIP Congress 1985, North-Holland Publ. Co., Amsterdam, The Netherlands, 1965, 213-217.
|
| |
22
|
DIJKSTRA, E. W. "A constructive approach to the problem of program correctness," BIT 8, 3 (1968), 174-186.
|
| |
23
|
|
| |
24
|
|
| |
25
|
DIJKSTRA, E. W. "Structured programruing," in Software engineering techniques, J. N. Buxton and B. Randell {Eds.} I~tATO Scientific Affairs Division, Brussels, Belgium, 1970, 84-88.
|
| |
26
|
DIJXSTRA, E. W. "EWD316- A short introduction to the art of programming," Technical University Eindhoven, The Netherlands, August 1971, 97 pp.
|
| |
27
|
|
| |
28
|
DIJKSTRA, E. W. "Prospects for a better progrtmaming language," in High level lauguages, C. Boon {Ed}., ~nfo.tech State of the Art Report ,, 1972, 217-282.
|
| |
29
|
DI~ST~A, E. W. persbnal communication, January 3, 1973.
|
| |
30
|
DIJKSTRA, E. W. personal communication, November 19, 1973.
|
| |
31
|
D}~KST~, E. W. personal communication, * January 30, 1974.
|
| |
32
|
Do~x~vso~, J~ES R. ~'Structured programming," Datamation 19, 12 (December 1973), 52-54.
|
| |
33
|
DYLAN, Bo~. Blonde ou blonde, record album produced by Bob Johqston, Columbia Records, New York, March 1966, Columbia C2S 841.
|
| |
34
|
G~L~, STANLEY. "Automatic computing: Its problems and prizes," Computer J. 3, 3 (October 1965), 177-189. -
|
| |
35
|
HENDERSON, P. AND SNOWDON, R. "An expe riment in structured programming," T 12, 1 (1972), ~8--5~. ,,
|
| |
36
|
HOXR~, C. A. R. "Quiekso~t, Computer j. 5, 1 (1962), 10-15.
|
| |
37
|
|
| |
38
|
|
| |
39
|
HOARE, C. A. R. "A note on the for statement," BIT 12, 3 (1972), ~4-341.
|
| |
40
|
HO~R~, C. A. R. "Pr~speets for a better programming language," in High le~e! languages, C. Boon {Ed.}, Infotech State of the Art Report 7, 1972, 327-343.
|
| |
41
|
HOARE, C. A. R., ~ W~RTH, N. "An axiomatic definition of thi~ p~ogrammiag language PASCAL," Ae~ l~tic~a 2, 4 (1973), 335-355.
|
| |
42
|
HO~R~, C. A. R. "Hi~ts for programming language design," COmputer Science rel~ort STAN-CS-74-403, Stanford Univ., ~tanford, Calif., January 1974, 29 pp.
|
| |
43
|
HoPKInS, M~TIN E:. "Computer aided software design," in ~oflware enqineerin~ techniques, J. N. Buxton and B. Randell {Eds.} NATO Scientific Affairs Division, Brussels, Belgium, 1970, 99-101.
|
| |
44
|
|
| |
45
|
|
| |
46
|
IN~aLLS, DAN. "The execution time profile as a programming tool," in Compiler optimization, 2d Cou~ant Computer Science Symposium, R a~da!l Rustin {Ed.}, Prentice-Hall, Englewood Cliffs, N. J., 1972, 107-128.
|
| |
47
|
KELLEY, ROBERT A., AND WAL~'ERS, JOHN R. "APLGOL-2, a strtmtured programm!ng system for APL," IBM Pale Alto Scientific Center report 320-3318 :~(August 1973), 29 pp.
|
| |
48
|
KLE~.SE, S. C. "Representation of events in nerve nets," in AufOma~a Studies, C. E. Shannon and J. McCarthy {Eds.}, Princeton University Press, PHn~eton, N.J., 1956, 3- 40.
|
| |
49
|
|
| |
50
|
|
| |
51
|
K~vTn, DONALD E. "'An empirical study of FORTRAN programs,:' 3oftware---Practice and Experience l, 2 (April-June 1971), 105- 133.
|
| |
52
|
KNUTH, DO,ALe E., AND FLOYD, P~OB:~RT W. "Notes on avoiding 'go to' statements," Information Processing Letters 1, 1 (February 1971), 23--31, 177.
|
| |
53
|
|
| |
54
|
|
| |
55
|
|
| |
56
|
K~UTH, DONALD }~., .~.ND SZWARCFITER, JA Ms L. A structured program to generate all topological sorting arrangements," Information Processing Letters 2, 6 (April 1974) 153-157.
|
| |
57
|
|
| |
58
|
|
| |
59
|
|
| |
60
|
|
| |
61
|
MANNA, ZOHAR, AND WALDINGER, RICHARD J. "Towards automatic program synthesis," in Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics 1118, E. Engeler lEd.l, Springer-Verlag, New York, 1971, 270-310.
|
| |
62
|
|
| |
63
|
McCaRTHY, JOHN. "Towards a mathematical science of computation," in Proe. IFIP Congress 1962, Munich, Germany, North- Holland Publ. Co., Amsterdam, The Netherlands, 1963, 21-28.
|
| |
64
|
~cCRACKEN, DANIEL D. "Revolution in ~rogramming," Datamation 19, 12 (Decemer 1973), 50-52.
|
| |
65
|
McKEEMAN, W. M.; HORNING, J. J.; ANY W O~a'MXN, D. B. A compiler generator, Prentice-Hall, Englewood Cliffs, N. J., 1970, 527 pp.
|
| |
66
|
MILLAY, EDSIA ST. VINCENT. "Elaine"; el. Bartlett's Familiar Quotations.
|
| |
67
|
MILLER, EDWARD F., JR., AND LINDAMOOD, GEOa6E E. "Structured programming: topdown approach," Datamation 19, 12 (December 1973)i 55-57.
|
| |
68
|
MILLs, H. D~ "Top-down programming in large systemS," in Debugffino techniques in large systems, Randall Rustin {Ed.}, Prentice-Hall, Englewood Cliffs, N. J., 1971, 41- 55.
|
| |
69
|
MIL~s, H. D. "Mathematical foundations for structured programming," report FSC 72-6012, IBM Federal Systems Division, Gaithersburg, Md. (February 1972), 62 pp.
|
| |
70
|
MILLS, H. D:. "How to write correct programs and know it," report FSC 73-5008, IBM Federal Systems Division, Gaithersburg, Md. (1973), 26 pp.
|
| |
71
|
NAssI, I. R., .~N}) AKKOYUNLU, E. A. "Verification techniques for a hierarchy of control structures," Tech. report 26, Dept. of Computer Science, State Univ. of New York, Stony Brook, New York (January 1974), 48 pp.
|
| |
72
|
Peter Naur , J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger, Report on the algorithmic language ALGOL 60, Communications of the ACM, v.3 n.5, p.299-314, May 1960
[doi> 10.1145/367236.367262]
|
| |
73
|
NAUR, PETER. "Go to statements and good Algol style," BIT 3, 3 (1963), 204-208.
|
| |
74
|
|
| |
75
|
NAUR, PETER. "An experiment on program development," BIT 12, 3 (1972), 347-365.
|
| |
76
|
PXGER, D. "Some notes on speeding up certain loops by software, firmware, and hardware means," in Computer~ and automata, Jerome Fox lEd.l, john Wiley & Sons, New York 1972, 207-213; also in IEEE Trans. Computers, C-21, 1 (January 1972), 97-100.
|
| |
77
|
|
| |
78
|
PF~T~.RSON, W. WESLEY. personal communication, April 2, 1974.
|
| |
79
|
Rxxt~, MARx ANY HOr~AG~I~, PER. "The present most recent final word about labels }n MARY, Machzne Oriented Languages Bul. letin 1, Trondheim, Norway (October 1972), 18-26.
|
| |
80
|
REH), CONSTANCE. Hilbert, Springer-Verlag, New York, 1970, 290 pp.
|
| |
81
|
R~YNOLDS, JOHN. "Fundamentals of structured programming," Systems and Info. Sei. 555 course notes, Syracuse Univ., Syracuse, N.Y., Spring 1973.
|
| |
82
|
S~TT~RTrtW~T~, E. H. "Debugging tools for high level languages," 8oftware--Practice and Experience 2, 3 (july-September 1972), 197-217.
|
| |
83
|
SCHSECX, P. B., ~SD ANeE~, }~LLINOR. "A FORTRAN to FORTRAN optimizing compiler," Computer J. 16, 4 (1973), 322-330.
|
| |
84
|
|
| |
85
|
SCtIOR~E, D. V. "Improved organization for procedural languages," Tech. memo TM 3086/002/00, Systems Development Corp., Santa Moniea, Calif., September 8, 1966, 8 p(~..
|
| |
86
|
SmGo, ; SttIMOMUnA, T.; FUJIDAYASHI S.; AND MA~JIMA, T. "SPOT: an experimental system for structured programming" (in Japanese), Conference Record, Information Processing Society of Japan, 1973. {Translation available from the authors, Nippon Electric Company Ltd., Kawasaki, Japan.}
|
| |
87
|
ST~ACHV.Y, C. "Varieties of programming language," in High level tanfuages, C. Boon tEd.l, Infotech State of the Art Report 7, 1972, 345-362.
|
| |
88
|
STRONG, H. R. Ja. "Translating recursion equations into fie charts, J. Computer and System Sciences 5, 3 (June 1971), 254-285.
|
| |
89
|
TEtT~LMAN, W. "Toward a programming laboratory," in Software Engineering Techniques, J. N. Buxton and B. Randall {Eds.}, NATO Scientific Affairs Division, Brussels, Belgium, 1970, 137-149.
|
| |
90
|
TEITELMAN, W. et al. "INTERI, ISP reference manual," Xerox Pale Alto Research Center, Pale Alto, Calif., and Bolt Beranek and Newman, Inc., 1974.
|
| |
91
|
WALKER, S. A., aND STRONG I-~. R. "Characterizations of flowchartab~e reeursions," J. Computer and System Sciences 7, 4 (August 1973), 404-447.
|
| |
92
|
|
| |
93
|
W~.~B~G, G~ALI) M. "The psychology of improved prograr~i~: petfe~msnce," Datamation 1T, 11 (Noveinbvr :1972 ), 82-85.
|
| |
94
|
WIa~n, N. "On eertiain basic concepts of programming languages," Stanford Computer Science Report ~ 65, Stanford, Calif. (May 1967), 30pp.
|
| |
95
|
|
| |
96
|
|
| |
97
|
WIRTH, ~, "The programming language Pascal," Acta Info~zmu$iea 1, t (1971), 35- 63.
|
| |
98
|
|
| |
99
|
WOLF, W. A. "Pro ~ghzmmia$ Without the goto," Information 'Proec~M,n# 71, Prec. IFIP Congress, Yol. 1, North-Holland Publ. Co., Amsterdam, The Netherlands, 1971, 408-413. :
|
| |
100
|
|
| |
101
|
WOLF, W. A,; Joy,soU, Rxcm~D K.; W~IN- STOCK, CHARLES P,,,~ .~ND HeRBs, S~EV~N O. "The design of an 6ptimizing compiler," Computer Science !Department report, Carnegie-Mellon U~v., Pittsburgh, Pa., (December 1973),, 10~ ~Pl~.
|
| |
102
|
|
CITED BY 187
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Thomas A. Standish , Dennis F. Kibler , James M. Neighbors, Improving and refining programs by program manipulation, Proceedings of the annual conference, p.509-516, October 20-22, 1976, Houston, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. Bézivin , F. Gauduel , J. L. Nebut , R. Rannou, On the necessary evolution towards improvement specialization in software production teams, Proceedings of the fifteenth annual SIGCPR conference, p.190-202, August 18-19, 1977, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert Balzer , Neil Goldman , David Wile, On the Transformational Implementation approach to programming, Proceedings of the 2nd international conference on Software engineering, p.337-344, October 13-15, 1976, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F. L. Bauer , M. Broy , R. Gnatz , W. Hesse , B. Krieg-Brückner , H. Partsch , P. Pepper , H. Wössner, Towards a wide spectrum language to support program specification and program development, ACM SIGPLAN Notices, v.13 n.12, p.15-24, December 1978
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
David Harel , Amir Puneli , Jonathan Stavi, A complete axiomatic system for proving deductions about recursive programs, Proceedings of the ninth annual ACM symposium on Theory of computing, p.249-260, May 04-04, 1977, Boulder, Colorado, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gary T. Leavens , Curtis Clifton, Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples, Proceedings of the 5th workshop on Engineering properties of languages and aspect technologies, p.6-es, March 12-16, 2007, Vancouver, British Columbia, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2