Sciweavers

Share
SIGCSE
2002
ACM

Integrating formal models into the programming languages course

9 years 6 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and then dropped. In this paper we present a simplified version of the formal semantics used. We then show how this model is implemented using the object-oriented, functional and logic paradigms.
Allen B. Tucker, Robert E. Noonan
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where SIGCSE
Authors Allen B. Tucker, Robert E. Noonan
Comments (0)
books