Abstract
No abstract available.
Cited By
- Armstrong D (2006). The quarks of object-oriented development, Communications of the ACM, 49:2, (123-128), Online publication date: 1-Feb-2006.
- Colburn T (1998). Information Modeling Aspects of Software Development, Minds and Machines, 8:3, (375-393), Online publication date: 1-Aug-1998.
- King K The evolution of the programming languages course Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (213-219)
- King K (1992). The evolution of the programming languages course, ACM SIGCSE Bulletin, 24:1, (213-219), Online publication date: 1-Mar-1992.
- Yeager D Teaching concurrency in the programming languages course Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, (155-161)
- Yeager D (1991). Teaching concurrency in the programming languages course, ACM SIGCSE Bulletin, 23:1, (155-161), Online publication date: 1-Mar-1991.
Index Terms
- Programming languages: structures and models
Recommendations
Definitional Interpreters for Higher-Order Programming Languages
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by interpreters that are themselves written in a programming language based on the lambda calculus (i.e., an applicative language ...
Semantics of programming languages
A semantic specification of a programming language can be relevant for programmers to understand software written in the language, as well as for the implementers of a language to understand the intentions of its designers. In the early 1980s, Jan ...