MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Xinyu Feng" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • An open framework for foundational proof-carrying code  
  • by Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo — 2007 — In Proc. the 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI’07
  • …An Open Framework for Foundational Proof-Carrying Code Xinyu Feng † Zhaozhong Ni † Zhong Shao † Yu…
  • Cited by 8 (3 self) – Add To MetaCart
  • Deny-guarantee reasoning  
  • by Mike Dodds, Xinyu Feng, Matthew Parkinson, Viktor Vafeiadis — 2009 — In ESOP’09: European Symposium on Programming, volume 5502 of LNCS
  • …Deny-Guarantee Reasoning Mike Dodds 1 , Xinyu Feng 2 , Matthew Parkinson 1 , and Viktor Vafeiadis…
  • Cited by 1 (0 self) – Add To MetaCart
  • An Open Framework for Foundational Proof-Carrying Code  
  • by Xinyu Feng Zhaozhong, Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo — 2007 — In Proc. the 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI’07
  • …An Open Framework for Foundational Proof-Carrying Code Xinyu Feng † Zhaozhong Ni † Zhong Shao † Yu…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB