Semantic Criteria for Choosing a Language for Big-Step Models.

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu

Browse the full RE paper archive.