Alan R. Feuer
References
- ANDE80 ANDERSON, B., "Type syntax m the language C: An object lesson m syntactm innovation," SIGPLAN Not (ACM) 15, 3 (Mar 1980), pp 21-27]] Google Scholar
- BOWL77 BOWLES, K L Problem solwng using PASCAL, Sprmger-Verlag, New York, 1977.]]Google Scholar
- BRIN75 BRINCH HANSEN, P. "The programming language Concurrent Pascal," IEEE Trans Softw Eng SE-1, 2 (June 1975), 199-207.]]Google Scholar
- DIJK72 DIJKSTRA, E.W. "Notes on structured programming," in O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured programming, Academic Press, New York, 1972.]] Google Scholar
- DIJK76 DIJKSTRA, E. W. A discipline of programming, Prentice-Hall, Englewood Chffs, N.J., 1976.]] Google Scholar
- DOD80 DEPARTMENT OF DEFENSE. Reference manual for the Ada programming language, U.S. Government Printing Office, Washington, D.C., July 1980.]]Google Scholar
- GANN75 GANNON, J.D. "Language design to enhance program reliability," Tech. Rep. CSRG-47, Computer Systems Research Group, Univ. of Toronto, Toronto, Canada, 1975.]]Google Scholar
- GANN77 GANNON, J.D. "An experimental evaluation of data type conventions," Commun ACM 20, 8 (Aug. 1977), 584-595.]] Google Scholar
- GEHA77 GEHANI, N.H. "Umts of measure as a data attribute," Comput. Lang. 2, (1977), 93-111.]]Google Scholar
- GEHA80 GEHANI, N H, AND WETHERELL, C. W. Unpublished notes, 1980]]Google Scholar
- HOAR73a HOARE, C. A.R. "Hints on programming language design," m A CM SIGA CT/ SIGPLAN Syrnp Prmczples of Program. m~ng Languages (Boston, Mass, Oct. 1973), ACM, New York.]]Google Scholar
- HOAR73b HOAR1Z, C. A. R., AND WXRTH, N. "An axiomatic definition of the programming language Pascal," Acta Inf. 2 (1973), 335- 355.]]Google Scholar
- HORN79 HORNING, J. J. "Effects of programruing languages on reliability," m T. Anderson and B. Randell (Eds.), Computing systems reltabihty, Cambridge Univ. Press, New York, 1979.]]Google Scholar
- ISO81 "Second Draft Proposal of the ISO Pascal Standard (January 1981)," Pascal News no. 20 (1981).]]Google Scholar
- JENS74 JENSEN, K., AND WIRTH, N. The Pascal user manual and report, Springer- Verlag, New York, 1974.]] Google Scholar
- JOHN73 JOHNSON, S. C., AND KERNIGHAN, B. W "The programming language B," Unpublished notes, 1973.]]Google Scholar
- JOHN78 JOHNSON, S.C. "A portable compiler: Theory and practice," in Fifth Annual A CM Symp Principles of Programming Languages (Tucson, Arizona, Jan. 23- 25), ACM, New York, 1978, pp. 97-104.]] Google Scholar
- JOY80 JoY, W. N., GRAHAM, S. L., AND HALEY, C.B. "Berkeley Pascal user's manual version 1.1," Dep. Electrical Engineering and Computer Science, Umv. of Cahfornia, Berkeley, 1980.]]Google Scholar
- KERN78 KERNIGHAN, B. W., AND RITCHIE, D. M. The C programming language, Prentice-Hall, Engelwood Cliffs, N. J., 1978.]] Google Scholar
- KERN79 KERNIGHAN, B. W., AND MCILROY, M. D. (Eds.) UNIX programmer's manual, 7th ed., Bell Laboratories, Murray Hill, N. J., 1979.]]Google Scholar
- LISK74 LISKOV, B., AND ZILLES, S N. "Programming with abstract data types," SIGPLAN Not (ACM) 9, 4 (Apr. 1974), pp. 50-59.]] Google Scholar
- LISK76 LISKOV, B. "Dmcussion," in J. H. Williams and D. A. Fisher (Eds.), Deslgn and ~mplementation of programming languages, Springer-Verlag, New York, Oct. 1976, p. 25.]]Google Scholar
- NAUR63 NAU~t, P. "Revised report on the algorithmic language ALGOL 60," Commun ACM 6, 1 (Jan. 1963), 1-17.]] Google Scholar
- RICH69 RICHaRDS, M. "BCPL A tool for compiler wntmg and systems programming," in Proc. AFIPS Spring Jt. Computer Conf., vol 34, Arhngton, Va., 1969, 557- 566.]]Google Scholar
- SETH80 SETHI, R. "A case study in specifying the semantics of a programming language," m Seventh Annual A CM Syrup. Prtnctples of Programming Languages (Las Vegas, Nevada, Jan 28-30), ACM, New York, 1980, pp. 117-130.]] Google Scholar
- SCHW75 SCHWARTZ, J. T "On programming-- Interim report of the SETL Project," Courant Inshtute of Mathematical Sciences, New York, N Y., June 1975.]]Google Scholar
- WELS77 WELSH, J., SNEERINGER, M. J., AND HOARE, C. A R. "Ambigmtles and insecuritms in Pascal," Soflw. Pract. Exper. 7, 6 (Nov. 1977), 685-696.]]Google Scholar
- WIRT66 WIRTH, N., AND HOARE, C A R. "A contributmn to the development of AL- GOL," Commun. ACM 9, 6 (June 1966), 413-431.]] Google Scholar
- WIRT71a WIRTH, N. "The design of a PASCAL compiler," Softw. Pract. Exper. 1 (1971), 3O9-333.]]Google Scholar
- WIRT71b WIRTH N. "The programming language Pascal," Acta Inf. 1 (1971), 35--63]]Google Scholar
- WIRT75 WIRTH, N "An assessment of the programming language Pascal," m Proc. 1975 Int. Conf. Rehable Software (Los Angeles, Calif., Apr. 1975), pp. 23--30.]] Google Scholar
- WULF73 WULF, W, AND SHAW, M "Global vanable constdered harmful," SIGPLAN Not (ACM) 8, 2 (1973), 28-34.]] Google Scholar
Comments