Component-based semantics

Formal semantic descriptions have many potential pragmatic advantages over informal descriptions. Unfortunately, however, the major frameworks for formal semantics do not support component-based description of programming languages. Different languages often have many constructs in common, but the c... View More