Diverse executable semantics definitions in NUSL and an implementation of functional types
Xinjie Jiang, Yongsen Xu · ACM SIGPLAN Notices · 1990
Several different semantics definitions of a sample language, SAL, ar e given, all in NUSL .Their differences and similarities, and mor e generally, different approaches to the definition of programmin g languages are discussed .The implementation of functional types i s explored .