Material Detail
Stack-Based Typed Assembly Language
A paper discussing presents STAL, an extension of Typed Assembly Language (TAL) with stack constructs and stack types to support the stack allocation style. We show that STAL is sufficiently expressive to support languages such as Java, Pascal, and ML; constructs such as exceptions and displays; and optimizations such as tail call elimination and callee-saves registers....
Show More
Quality
- Selected For Peer Review
- User Rating
- Comments
- Learning Exercises
- Bookmark Collections
- Course ePortfolios
- Accessibility Info