XinJie Jiang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1990

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

1988

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

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

Coauthor Index

1 YongSen Xu [1] [2]