英语词典
The abstract symbol table-based memory model can overcome main problems of memory models for symbolic execution very well, including the problem of pointer and aliasing, type-unsafe memory accesses and data without concrete size.
基于抽象符号表的内存模型能够很好地解决面向符号执行的内存模型面临的主要问题,包括指针和别名问题、类型不安全的内存访问和大小不确定的数据。
互联网摘选
英语网英语词典(dict.25820.com)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。