首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
一种利用适合性测试支持方法重定向的演算   总被引:1,自引:0,他引:1  
赵银亮  朱常鹏  韩博  曾庆花 《软件学报》2013,24(7):1495-1511
一些面向上下文的编程语言使用结构化的块结构(block-structured construct)将方法调用重定向到层中方法.但该结构无法支持层的动态添加与激活,这增加了程序可执行文件的大小.为了解决该问题,提出一种新方法:使用适合性测试支持方法的重定向,并定义一个运行时的适合性测试演算(runtime fitness testing calculus on top offeatherweight Java calculus)形式化描述该方法.该演算以FJ 演算(featherweight Java calculus)为核心,通过融入新的语言结构——层,基于上下文的方法查找与对象转化描述基于适合性测试的方法重定向,分析它对程序类型安全的影响,制定相应约束,并证明在满足该约束的条件下能够保持程序的类型安全,从而证明所提方法的有效性.以该演算为指导,描述如何通过扩展Java 的编译器与虚拟机,实现将层、基于上下文的方法查找与对象转化融入到Java 语言,并通过实验测试实现,证明所提方法的可行性.该演算及其实现可用于指导如何扩展类似Java(Java-like)的语言以支持程序基于上下文动态调整其行为,并同时保证程序的类型安全.  相似文献   

2.
本文介绍了微软一种新的强类型面向数据的编程语言COmega,这种语言旨在增强C#语言的类型构造,使之能够更好地处理诸如XML、对象信息和关系数据等结构和半结构化数据类型。它将填补半结构化分层数据(XML)、关系数据(SQL)和.NETCTS(通用类型系统)之间的空白。文章将从几个方面概述这种语言的强大功能。  相似文献   

3.
本文介绍了微软一种新的强类型面向数据的编程语言COmega,这种语言旨在增强C#语言的类型构造,使之能够更好地处理诸如XML、对象信息和关系数据等结构和半结构化数据类型。它将填补半结构化分层数据(XML)、关系数据(SQL)和.NETCTS(通用类型系统)之间的空白。文章将从几个方面概述这种语言的强大功能。  相似文献   

4.
在推导程序属性方面,公理语义比操作语义具有更多的优点。本文定义Gamma 的时态语义,它是已有工作的进一步精确化;本文证明这种时态语义与结构化操作语义是一致的。  相似文献   

5.
李求实  王秋月  王珊 《软件学报》2012,23(8):2002-2017
与纯文本文档集相比,使用语义标签标注的半结构化的XML文档集,有助于信息检索系统更好地理解待检索文档.同样,结构化查询,比如SQL,XQuery和Xpath,相对于纯关键词查询更加清晰地表达了用户的查询意图.这二者都能够帮助信息检索系统获得更好的检索精度.但关键词查询因其简单和易用性,仍被广泛使用.提出了XNodeRelation算法,以自动推断关键词查询的结构化信息(条件/目标节点类型).与已有的推断算法相比,综合了XML文档集的模式和统计信息以及查询关键词出现的上下文及其关联关系等推断用户的查询意图.大量的实验验证了该算法的有效性.  相似文献   

6.
一种用于Java程序验证编译的标签类型   总被引:1,自引:0,他引:1       下载免费PDF全文
陈晖  陈意云  茹祥民 《软件学报》2005,16(3):346-354
在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的Java程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现Java程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的Java字节码即时编译器中.  相似文献   

7.
反编译中数据类型自动重构技术研究   总被引:1,自引:1,他引:0  
何东  尹青  谢耀宾  井静 《计算机科学》2012,39(5):133-136
类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化类型的框架,而后通过收集框架内可访问的偏移集合并利用简单类型恢复的算法对偏移对象类型进行恢复,从而推导出复杂结构类型。该算法是目前正在开发的类型重构工具的关键技术,它不仅能够准确地重构简单类型,而且能够准确地解析复杂类型,且准确率较高。  相似文献   

8.
使用Gamma分布来描述高分辨率合成孔径雷达(SAR)图像的雷达横截面积(RCS),并研究Gamma分布的参数估计问题.基于第二类统计量,并利用斑点的秉性模型,对于三种图像类型(强度图像、幅值图像和多视处理幅值图像),提出了RCS的Gamma分布参数估计的有效方法,参数估计过程只需要斑点和RCS的前两阶对数累积量.RCS的Gamma分布参数估计的Monte Carlo仿真验证了这种方法的有效性,而高分辨率SAR图像RCS的参数估计结果则表明Gamma分布的参数可以用于不同地物的分析与分类.  相似文献   

9.
程序设计语言的类型结构剖析   总被引:2,自引:0,他引:2  
程序设计语言原理是计算机科学中的一个非常重要的领域,而程序设计语言的类型结构又是该领域中的一个非常重要的专题。文章结合当今广泛使用的C语言对程序设计语言的类型结构进行了深入的剖析,内容包括:内部非结构类型、枚举类型、有限映像(数组)、迪卡尔积(结构体)、判定或(共用体)、序列(串和文件)、指针等,并且适当地进行了举例说明。  相似文献   

10.
一些面向上下文的编程语言已经实现,但在这些语言中所有的层被编译为程序可执行代码的一部分,这限制了程序的应用范围.为了解决该问题,提出一种以虚拟机为核心的方法支持动态层绑定,它融入对象组合与代理到虚拟机实现层激活,利用虚拟机服务支持动态层绑定.为了精确描述该方法并有效分析该方法对程序类型安全的影响,定义一个以Featherweight Java演算为核心的演算.基于该演算,形式化分析它对程序类型安全的影响,定义相应的约束,并证明在满足该约束下动态层绑定能保持程序的类型安全.为证明方法可行,以演算为指导,通过扩展Java的编译器与虚拟机实现并评估该方法.该演算和方法的实现可用于指导类似Java的语言的扩展,以支持程序动态地绑定层,同时保证扩展后语言的类型安全.  相似文献   

11.
宋方敏 《计算机学报》1993,16(11):851-861
作者给出关于不交并类型的新的消去规则,并且证明新规则与原先的消去规则等价。在本文中,Nk被定义成类型N的子集,以及Nk的所有规则被导出,这里k≥1。文中对N的分离性也作了详细的讨论。  相似文献   

12.
逆编译中,复合数据类型恢复是最困难的问题,文中介绍按特征进行数据流分析,收集变量的各种定义和引用信息,然后通过计算地址表达式和合并地址区间的方法恢复数组类型,与其他方法不同之处在于,它可以恢复非纯变量下标引用的数组类型,文中最后分析了该方法的实际使用效果。  相似文献   

13.
We develop a formal proof of the ML type inference algorithm, within the Coq proof assistant. We are much concerned with methodology and reusability of such a mechanization. This proof is an essential step toward the certification of a complete ML compiler.In this paper we present the Coq formalization of the typing system and its inference algorithm. We establish formally the correctness and the completeness of the type inference algorithm with respect to the typing rules of the language. We describe and comment on the mechanized proofs.  相似文献   

14.
15.
科技论文英文摘要撰写规范化问题   总被引:5,自引:0,他引:5  
针对国内科技论文英文摘要这一应用文件在撰写中产生的错误现象。本文仅对《数据采集与处理》英文摘要作出例析,并试图探讨撰写规范。基于常规英文写作知识,从美国工程索引(Ei)英文摘要撰写规范与检索要求出发,提出英文摘要撰写中可把握的若干实用规则,同时较完整地介绍了Ei英文摘要的撰写规范,以求解决科技论文英文摘要撰写规范化问题。  相似文献   

16.
The aim of this article is to present an efficient analytical and numerical procedure for solving the nonlinear Hammerstein integral equations of mixed type. Our method mainly depends on a Taylor expansion approach. Also, we obtain the approximate solution of the nonlinear Volterra–Hammerstein integral equations of mixed type in terms of the Taylor polynomials. The reliability and efficiency of the proposed scheme are demonstrated by some numerical experiments.  相似文献   

17.
A widespread practice to implement a flexible array is to consider the storage area into two parts: the used area, which is already available for read/write operations, and the supply area, which is used in case of enlargement of the array. The main purpose of the supply area is to avoid as much as possible the reallocation of the whole storage area in case of enlargement. As the supply area is not used by the application, the main idea of the paper is to convey the information to the garbage collector, making it possible to avoid completely the marking of the supply area. We also present a simple method to analyze the types of objects, which are stored in an array as well as the possible presence of NULL values within the array. This allows us to better specialize the work of the garbage collector when marking the used area, and also, by transitivity, to improve overall results for type analysis of all expressions of the source code. After introducing several abstract data types, which represent the main arrays concerned by our technique (i.e., zero or variable indexing, circular arrays and hash maps), we measure its impact during the bootstrap of two compilers whose libraries are equipped with these abstract data types. We then measure, on various software products we have not written, the frequency of certain habits of manipulation of arrays, to assess the validity of our approach. Copyright © 2014 John Wiley & Sons, Ltd.  相似文献   

18.
社交网络,作为最近十年网络的最主要发展领域,改变了传统因特网的格局,也改变了网络生活的习惯和面貌。而任何社会都不可避免的犯罪也随着社交网络的发展而具备了新的形式。形成了一批社会危害性普遍的新型社交网络犯罪。本文旨在对社交网络的犯罪行为进行探讨,通过分类的方法确定社交网络犯罪的独特之处,即全新的社群划分。进而为防治犯罪做出一些有益的建议。  相似文献   

19.
本文提出了一种新型的微机监控系统一分布式微机监控系统,该系统采用分散布置、分层控制,且具有易于扩展和强大的互操作性等特点。该系统于2001年在河南获嘉变电站投入运行,经过三年多的实际运行证明.该系统性能完善、安全、可靠、实时、经济。  相似文献   

20.
《Ergonomics》2012,55(5):453-465
This study evaluated the effects of age (20s and 60s), viewing distance (50 cm, 200 cm), display type (paper, monitor), font type (Gothic, Ming), colour contrast (black letters on white background, white letters on black background) and number of syllables (one, two) on the legibility of Korean characters by using the four legibility measures (minimum letter size for 100% correctness, maximum letter size for 0% correctness, minimum letter size for the least discomfort and maximum letter size for the most discomfort). Ten subjects in each age group read the four letters presented on a slide (letter size varied from 80 pt to 2 pt). Subjects also subjectively rated the reading discomfort of the letters on a 4-point scale (1 = no discomfort, 4 = most discomfort). According to the ANOVA procedure, age, viewing distance and font type significantly affected the four dependent variables (p < 0.05), while the main effect of colour contrast was not statistically significant for any measures. Two-syllable letters had smaller letters than one-syllable letters in the two correctness measures. The younger group could see letter sizes two times smaller than the old group could and the viewing distance of 50 cm showed letters about three times smaller than those at a 200 cm viewing distance. The Gothic fonts were smaller than the Ming fonts. Monitors were smaller than paper for correctness and maximum letter size for the most discomfort. From a comparison of the results for correctness and discomfort, people generally preferred larger letter sizes to those that they could read. The findings of this study may provide basic information for setting a global standard of letter size or font type to improve the legibility of characters written in Korean.

Statement of Relevance: Results obtained in this study will provide basic information and guidelines for setting standards of letter size and font type to improve the legibility of characters written in Korean. Also, the results might offer useful information for people who are working on design of visual displays.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号