Sciweavers

504 search results - page 1 / 101
» Teaching the compilers course
Sort
View
SIGPLAN
2002
13 years 4 months ago
An embedded language approach to teaching hardware compilation
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
Koen Claessen, Gordon J. Pace
SIGCSE
2008
ACM
122views Education» more  SIGCSE 2008»
13 years 4 months ago
Teaching the compilers course
Alfred V. Aho
VMCAI
2012
Springer
12 years 9 days ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
SIGCSE
1997
ACM
112views Education» more  SIGCSE 1997»
13 years 9 months ago
Introducing fixed-point iteration early in a compiler course
When teaching a course in compiler design, it is conventional to introduce the iterative calculation of least fixed points quite late in the course, in the guise of iterative dat...
Max Hailperin