K-framework strives to give one (instead of two - operational and denotational) semantics for industrial programming languages. The same unification is done by structural operational semantic as well. Are those two frameworks related somehow? Such relation could be very frutiful, because K-framework has excellent tools and full completed semantics, but SOS has deep theory and connection with category theory.
Asked
Active
Viewed 179 times
