Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《China Sciencepaper》 2017-14
Add to Favorite Get Latest Update

A source language transformation and inspection framework for trusted compilers

ZHANG Xiaotong;HE Yanxiang;School of Computer,Wuhan University;State Key Laboratory of Software Engineering,Wuhan University;  
Aiming at the limitation of processing capacity on source language,a trusted compiler-oriented framework is proposedfor source code transformation and inspection.It can convert an imperative programming language program to the equivalent functional programming language program that is acceptable to trusted compiler.Through three verifications,including syntax support check,well-formedness check and exception,this frame can ensure the acceptability and the comparatively high credibility of the source code.
【Fund】: 国家自然科学基金资助项目(91118003 61373039);; 高等学校博士学科点专项科研基金资助项目(20130141110025)
【CateGory Index】: TP314
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved