| 带类型注解的汇编器TAAS的设计与实现 |
| |
| 引用本文： | 郭帆,陈意云,胡荣贵,张昱. 带类型注解的汇编器TAAS的设计与实现[J]. 小型微型计算机系统, 2003, 24(11): 1893-1897 |
| |
| 作者姓名： | 郭帆 陈意云 胡荣贵 张昱 |
| |
| 作者单位： | 中国科学技术大学,计算机科学与技术系,安徽,合肥,230026 |
| |
| 基金项目： | 国家自然科学基金 ( 60 173 0 49)资助 |
| |
| 摘 要： | 给出了一种带类型注解的汇编器 TAAS的设计与实现 .TAAS分析带有类型注解的汇编代码 ,把类型注解映射进目标文件和可执行文件中 ,产生带有类型注解的二进制代码 ,同时不影响代码的执行语义 .TAAS分析 AT&T语法的汇编程序 ,产生 EL F格式的 x86机器代码 ,并且与 GNU as汇编器完全兼容
|
| 关 键 词： | TAAS 类型安全 类型注解 |
| 文章编号： | 1000-1220(2003)11-1893-05 |
Design and Implementation Of TAAS (A Type-Annotated Assembler) |
| |
| GUO Fan,CHEN Yi yun,HU Rong gui,ZHANG Yu. Design and Implementation Of TAAS (A Type-Annotated Assembler)[J]. Mini-micro Systems, 2003, 24(11): 1893-1897 |
| |
| Authors: | GUO Fan CHEN Yi yun HU Rong gui ZHANG Yu |
| |
| Abstract: | This paper presents the design and implementaion of an assembler TAAS. TAAS is a type annotated assembler, which analysis assembler code with type annotation and maps type annonation into object file and executable file. TAAS generates binary code with type annotation, which can be linked into executable file without interfering with the execution semantics of binary code. The assembler format obeyes AT&T syntax, ELF format x86 machine code is the target code of TAAS, and TAAS is totally compatible with GNU as assembler. |
| |
| Keywords: | TAAS type safety type annotation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
