dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Zhong Shao (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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


25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reasoning 31(3-4): 191-229 (2003)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Monnier, Zhong Shao: Inlining as staged computation. J. Funct. Program. 13(3): 647-676 (2003)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. LICS 2002: 89-100
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Monnier, Bratin Saha, Zhong Shao: Principled Scavenging. PLDI 2001: 81-91
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Shao, Christopher League, Stefan Monnier: Implementing Typed Intermediate Languages. ICFP 1998: 313-323

Selection of 5 from 60 records - Zhong Shao has 38 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page