| Cool: a portable project for teaching compiler construction |
| Full text |
Pdf
(476 KB)
|
| Source
|
ACM SIGPLAN Notices
archive
Volume 31 , Issue 7 (July 1996)
table of contents
Pages: 19 - 24
Year of Publication: 1996
ISSN:0362-1340
|
|
Author
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 8, Downloads (12 Months): 37, Citation Count: 9
|
|
|
ABSTRACT
The compiler course is a fixture of undergraduate computer science education. Most CS programs offer a course on compilers that includes a substantial project where students write a compiler for a small programming language. The project often serves two distinct purposes: it teaches something about language design and compiler implementation, and it gives students the experience of building a substantial software system. A compiler project is the most complex software engineering task many students complete in an undergraduate program.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
[HMT89] R. Harper, R. Milner, and M. Tofte. The definition of standard ML--Version 3. Technical Report ECFS-LFCS-89-81, Laboratory for Foundations of Computer Science, University of Edinburgh, 1989.
|
| |
3
|
[Jav96] The Java Tutorial: Object-Oriented Programming for the Internet. http://java.sun.com/java.sun.com/tutorial/intro.html, 1996.
|
| |
4
|
[Lar] J. Larus. Spim. http://www.cs.wisc.edu/~larus/spim.html.
|
| |
5
|
[SK95] D. Stoutamire and M. Kennel. Sather revisited: A high-performance free alternative to C++. Computers in Physics, 9(5):519-524, September 1995.
|
| |
6
|
|
CITED BY 9
|
|
|
|
|
|
|
|
|
|
|
Bor-Yuh Evan Chang , Adam Chlipala , George C. Necula , Robert R. Schneck, Type-based verification of sssembly language for compiler debugging, Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, p.91-102, January 10-10, 2005, Long Beach, California, USA
|
|
|
Bor-Yuh Evan Chang , Adam Chlipala , George C. Necula , Robert R. Schneck, The open verifier framework for foundational verifiers, Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, p.1-12, January 10-10, 2005, Long Beach, California, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|