YongSen Xu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2 XinJie Jiang, YongSen Xu: Diverse executable semantics definitions in NUSL and an implementation of functional types. SIGPLAN Notices 25(5): 39-52 (1990)

1 XinJie Jiang, YongSen Xu: NUSL: An Executable Specification Language Based on Data Abstraction. VDM Europe 1988: 124-138

Selection of 2 from 7 records - YongSen Xu has 10 coauthors

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