Semantic inheritance in unifying theories of programming

Yifeng Chen. Semantic inheritance in unifying theories of programming. Formal Asp. Comput., 25(1):89-106, 2013. [doi]

Abstract

Abstract is missing.