![]() |
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
Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)