GEDANKEN - a simple typeless language based on the principle of completeness and the reference concept

@article{Reynolds1970GEDANKENA,
  title={GEDANKEN - a simple typeless language based on the principle of completeness and the reference concept},
  author={John C. Reynolds},
  journal={Commun. ACM},
  year={1970},
  volume={13},
  pages={308-319}
}
GEDANKEN is an experimental programming language with the following characteristics. (1) Any value which is permitted in some context of the language is permissible in any other meaningful context. In particular, functions and labels are permissible results of functions and values of variables. (2) Assignment and indirect addressing are formalized by introducing values, called references, which in turn possess other values. The assignment operation always affects the relation between some… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 75 CITATIONS

The Denotational Semantics of Programming Languages

  • Commun. ACM
  • 1976
VIEW 12 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Continuations and Coroutines

  • LISP and Functional Programming
  • 1984
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Protection in Programming Languages

  • Commun. ACM
  • 1973
VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

On-line Text Editing: A Survey

  • ACM Comput. Surv.
  • 1971
VIEW 3 EXCERPTS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1970
2019

CITATION STATISTICS

  • 7 Highly Influenced Citations