Reasoning about programs in continuation-passing style Academic Article

authors

• Sabry, Amr
• Felleisen, Matthias

status

• published 

publication date

• November 1993

has subject area

• 0802 Computation Theory and Mathematics (FoR)
• 1702 Cognitive Sciences (FoR)
• Software Engineering (Science Metrix)

published in

• Higher-Order and Symbolic Computation LISP and Symbolic Computation  Journal

Digital Object Identifier (DOI)

• 10.1007/bf01019462

start page

• 289

end page

• 360

volume

• 6

issue

• 3-4