XinJie Jiang

Publication Activity (10 Years)

Years Active: 1988-1990
Publications (10 Years): 0

Publications

XinJie Jiang, YongSen Xu
Diverse executable semantics definitions in NUSL and an implementation of functional types. ACM SIGPLAN Notices 25 (5) (1990)
XinJie Jiang, YongSen Xu
NUSL: An Executable Specification Language Based on Data Abstraction. VDM Europe (1988)