%0 Journal Article
%T A Tag Type for Certifying Compilation of Java Program<br>一种用于Java程序验证编译的标签类型
%A CHEN Hui
%A CHEN Yi-Yun
%A RU Xiang-Min
%A <br>陈晖
%A 陈意云
%A 茹祥民
%J 软件学报
%D 2005
%I 
%X In the area of language -based security, programs written in typed high-level languages need to be translated into those written in typed low-level languages. This work is not trivial when type dispatch constructs are involved and implemented with tag mechanism. This paper proposes a new type that can deal with a special type dispatch construct occurring in the interface invokation of Java. A low-level language with this type is able to efficiently implement the interface invokation. This implementation approach is adopted in a Just-In-Time compiler with a typed low-level language as a certifying language.
%K type-preserving compilation
%K type dispatch
%K tag mechanism<br>类型保持编译
%K 类型调度
%K 标签机制
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=8628E606A5B2FEBF&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=38B194292C032A66&sid=C7DDDE86E6286CD9&eid=0954045FA0C6885F&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=14