Continuation Passing STYLE is a programming method that ASSUMES that every user defined procedure f$ carries a continuation, which is a future computation specification CONT, in the form of a procedure, that needs to apply once the computation of f$ ends.

Since a CPS procedure carries a future computation, they are written as iterative PROCEDURES:

The “bottom” action is directly applied, and all depending actions are postponed to the continuation. A CPS procedure has one of the following formats:

1. (continuation (primitive-procedure ....))
2. (CSP-user-procedure .... continuation)
3. A conditional with the above ALTERNATIVES

Continuation Passing Style is a programming method that assumes that every user defined procedure f$ carries a continuation, which is a future computation specification cont, in the form of a procedure, that needs to apply once the computation of f$ ends.

Since a CPS procedure carries a future computation, they are written as iterative procedures:

The “bottom” action is directly applied, and all depending actions are postponed to the continuation. A CPS procedure has one of the following formats: