Reasoning about programs in continuation-passing style Journal Articles

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

• LISP and Symbolic Computation  Journal

keywords

• 46 Information and Computing Sciences
• 4612 Software Engineering
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1007/bf01019462

start page

• 289

end page

• 360

volume

• 6

issue

• 3-4