Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Complete Call-by-Value Calculi of Control Operators, I
Ryu Hasegawa
We give new call-by-value calculi of control operators that are complete for the continuation-passing style semantics. Various anticipated computational properties are induced from…
cs.LO2017
Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Ryu Hasegawa
We provide characterization of the strong termination property of the CCV (complete call-by-value) lambda-mu calculus introduced in the first part of this series of the paper. The…