Semantic and syntactic issues in programming
HTML articles powered by AMS MathViewer
- by J. T. Schwartz PDF
- Bull. Amer. Math. Soc. 80 (1974), 185-206
References
- Jacob T. Schwartz, On programming, Courant Institute of Mathematical Sciences, Computer Science Department, New York University, New York, 1975. An interim report on the SETL project. Part I: Generalities. Part II: The SETL language and examples of its use; Second revised edition of the two-volume work. MR 0471425 2. J. B. Morris, A comparison of MADCAP and SETL, Los Alamos Scientific Laboratory, Univ. of California, Los Alamos, New Mexico, (1973).
- Donald E. Knuth, The art of computer programming, 2nd ed., Addison-Wesley Series in Computer Science and Information Processing, Addison-Wesley Publishing Co., Reading, Mass.-London-Amsterdam, 1975. Volume 1: Fundamental algorithms. MR 0378456
- Marvin Schaefer, A mathematical theory of global program optimization, Prentice-Hall Series in Automatic Computation, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1973. MR 0343679 5. Robert Floyd, Nondeterministic algorithms, J. Assoc. Comput. Mach. 14 (1967), 636-644.
Additional Information
- Journal: Bull. Amer. Math. Soc. 80 (1974), 185-206
- MSC (1970): Primary 68A05, 68—02
- DOI: https://doi.org/10.1090/S0002-9904-1974-13431-2
- MathSciNet review: 0339536