A CPS-Like Transformation of Continuation Marks
Continuation marks are a programming language feature which generalize stack inspection. Despite its usefulness, this feature has not been adopted by languages which rely on stack inspection, e.g., for dynamic security checks. One reason for this neglect may be that continuation marks do not yet enj...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2012
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/3436 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=4435&context=etd |