Formal semantics and interpreters in a principles of programming languages course

Authors:
Kim B. Bruce
Affiliations:
Williams College and Department of Computer Science, Princeton University
Venue:
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Year:
1999

Citing 6
Cited 3

Essentials of programming languages

Essentials of programming languages
Semantics of programming languages: structures and techniques

Semantics of programming languages: structures and techniques
Concepts of programming languages (3rd ed.)

Concepts of programming languages (3rd ed.)
Programming languages (2nd ed.): concepts and constructs

Programming languages (2nd ed.): concepts and constructs
Structure and Interpretation of Computer Programs

Structure and Interpretation of Computer Programs
Programming Languages: Principles and Practice

Programming Languages: Principles and Practice

Reinforcing programming language concepts through implementation in a concept-based course

Journal of Computing Sciences in Colleges
Classes as first class objects in an environment-passing interpreter

ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Effectiveness of a language implementation project in building appreciation for formal specification

Journal of Computing Sciences in Colleges - Papers of the twelfth annual CCSC Northeastern Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most junior-senior level programming languages courses approach the subject either from the point-of-view of principles (concepts) of programming languages or from the perspective of understanding languages through writing progressively more complex interpreters. In this paper we show how to use formal semantics in a series of interpreter assignments in a principles or concepts-based course. The interpreter assignments make the semantics more concrete for students while providing a deeper understanding of concepts.