Reasoning about programs in continuation-passing style
Academic Article
- Overview
- Identity
- Additional Document Info
- View All
Overview
status
publication date
- November 1993
has subject area
- 0802 Computation Theory and Mathematics (FoR)
- 1702 Cognitive Sciences (FoR)
- Software Engineering (Science Metrix)