Reasoning about programs in continuation-passing style. Conferences

authors

• Sabry, Amr
• Felleisen, Matthias

status

• published 

publication date

• January 1992

published in

• Proceedings of the 1992 ACM conference on LISP and functional programming  Journal

presented at event

• LFP92: ACM Conference on Lisp and Functional Programming  Conference

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence
• 49 Mathematical Sciences
• 4904 Pure Mathematics

Digital Object Identifier (DOI)

• 10.1145/141471.141563

start page

• 288

end page

• 298

volume

• V

issue

• 1