H ? « ‹ ← → › »

Language peer sets for PL/CS:
United States↑
United States/1974↑
Designed 1974 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Other PL/Is ↑
Experimental and other ↑
Other PL/Is↑
PL/I Languages↑
Imperative ↑
Other PL/Is/1974↑
PL/I Languages/1974↑
Imperative/1974↑
Other PL/Is/United States↑
PL/I Languages/United States↑
Imperative/United States↑
Experimental and other ↑
Experimental and other/1974↑
Experimental and other/us ↑

PL/CS(ID:5605/plc004)

PL/I subdialect for the CPS 

alternate simple view
Country: United States
Designed 1974
Genus: Other PL/Is
Sammet category: Experimental and other

for Programming Language for the Cornell Synthesizer

PL/I subdialect with extensions to enable language synthesis

Places
Related languages
PL/C → PL/CS   Evolution of
PL/CS → PL/CV   Based on
References:
  • Conway, R. and Constable, R. (1976) Conway, R. and Constable, R. "PL/CS-A disciplined subset of PL/I" Tech. Rept No. 76-293, Dept. of Comptr. Sci., Cornell 1976.
  • Teitelbaum, T. (1976) Teitelbaum, T. "A formal syntax for PL/CS" Tech Rept 76-281, Dept. of Comptr. Sci., Cornell Univ., Ithaca, NY, 1976.
  • Conway, R. (1978) Conway, R. "Primer on Disciplined Programming Using PL/CS". Winthrop, Cambridge, MA, 1978
  • Constable, Robert L. and Donahue, James E. (1979) Constable, Robert L. and Donahue, James E. "A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/CS" Abstract DOI
          in (1979) TOPLAS 1(1) Jan 1979
  • Teitelbaum, T. (1979) Teitelbaum, T. "The Cornell Program Synthesizer: a microcomputer implementation of PL/CS" Tech. Report No. TR79- 370, Dept. of Comptr. Sci., Cornell Univ., Ithaca, NY, June 1979.
          in (1979) TOPLAS 1(1) Jan 1979
  • Teitelbaum, T. (1980) Teitelbaum, T. "The Cornell program synthesizer: A tutorial introduction" Tech. Report No. TR79-381, Dept. Comptr. Sci., Cornell Univ., Ithaca, NY, July 1979, Revised Jan. 1980.
          in (1979) TOPLAS 1(1) Jan 1979
  • Teitelbaum, Tim and Reps, Thomas (1981) Teitelbaum, Tim and Reps, Thomas "The Cornell program synthesizer: a syntax-directed programming environment" Abstract
          in [ACM] CACM 24(09) (Sept. (1981) [ACM] CACM 24(09) (Sept. 1981)
  • Teitelbaum, Tim; Reps, Thomas; Horwitz, Susan (1981) Teitelbaum, Tim; Reps, Thomas; Horwitz, Susan "The why and wherefore of the Cornell Program Synthesizer" pp8-16 Abstract Online copy
          in [STM 1981] (1981) SIGPLAN Notices 16(06) June 1981, also Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation 1981, Portland, Oregon
  • Constable, R. (1982) Constable, R. L. S. D. Johnson , C. D. Eichenlaub, An Introduction to the PL/CV2 Programming Logic, Springer-Verlag New York, Inc., Secaucus, NJ, 1982 Extract: PREFACE Extract: ACKNOWLEDGEMENTS
          in [STM 1981] (1981) SIGPLAN Notices 16(06) June 1981, also Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation 1981, Portland, Oregon
  • Flass, Peter (2000) Flass, Peter "Languages Related to PL/I" in "The PL/I Language" Online copy at Peter Flass's PL/1 site
          in [STM 1981] (1981) SIGPLAN Notices 16(06) June 1981, also Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation 1981, Portland, Oregon
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder