首页> 外文会议>World computer congress >An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer

【24h】

An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer

机译：一种用于库函数的高效切片方法及其实现libslicer

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Program slicing is a technique for statically analyzing a program and extracting an executable sub-program, which is called a program slice, from the original program. This technique has been widely applied to program testing, debugging and maintenance. This paper presents a slicing method for extracting program slices from a program that calls library functions, which are provided as object code. The method this paper presents analyzes dependence relationships between library functions using global data that are referred to by the library functions but not explicitly declared in a program.

机译：程序切片是一种用于静态分析程序并从原始程序中提取被称为程序切片的可执行子程序的技术。这种技术已被广泛应用于程序测试，调试和维护。本文介绍了从调用库函数的程序中提取程序切片的切片方法，该程序是作为对象代码提供的。该方法本文介绍使用库函数引用但未在程序中明确声明的全局数据分析库函数之间的依赖关系。

著录项

来源
《World computer congress》|2000年||共8页
会议地点
作者
Takao Shimomura; Xinjun Zhang; Muneo Takahashi;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算机软件;
关键词

相似文献

外文文献
中文文献
专利

1. A Program Slicer Using Def-slice-Use Tables for Efficiently Slicing Both User-Defined and Library Functions [J] . Xinjun Zhang, Takao Shimomura IEICE Transactions on Information and Systems . 2000,第9期

机译：使用Def-Slice-Use表的程序切片器，可有效地切片用户定义的函数和库函数
2. UFLIBRARY: A SIMULATION LIBRARY IMPLEMENTING THE UTILITY FUNCTION METHOD FOR BEHAVIORAL ORGANIZATION IN AUTONOMOUS ROBOTS [J] . JIMMY PETTERSSON, MATTIAS WAHDE International Journal of Artificial Intelligence Tools: Architectures, Languages, Algorithms . 2007,第3期

机译：UFLIBRARY：一个模拟库，用于实现自主机器人行为组织的实用功能方法
3. An efficient implementation of boundary element methods for computationally expensive Green's functions [J] . Daan Huybrechs, Stefan Vandewalle Engineering analysis with boundary elements . 2008,第8期

机译：有效计算格林函数的边界元方法的有效实现
4. An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer [C] . Takao Shimomura, Xinjun Zhang, Muneo Takahashi IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China . 2000

机译：库函数的高效切片方法及其实现LibSlicer
5. Development and implementation of methods for sliced velocity map imaging. Studies of overtone-induced dissociation and isomerization dynamics of hydroxymethyl radical (CH2OH and CD2OH). [D] . Ryazanov, Mikhail. 2012

机译：切片速度图成像方法的开发和实现。泛音诱导的羟甲基自由基（CH2OH和CD2OH）的解离和异构化动力学研究。
6. ScriptSeq V2 Library Preparation Method: A Rapid and Efficient Method for Preparing Directional RNA-Seq Libraries [O] . John Hitchen, Roy Sooknanan, Anupama Khanna 2012

机译：ScriptSeq V2库制备方法：一种快速有效的定向RNA-Seq库制备方法
7. An efficient implementation of boundary element methods for computationally expensive Green's functions [O] . Huybrechs Daan, Vandewalle Stefan 2007

机译：有效计算格林函数的边界元方法的有效实现
8. Chimera-free, high copy number YAC libraries and efficient methods of analysis. Final technical progress report [R] . 1995

机译：无嵌合体，高拷贝数YaC文库和有效的分析方法。最终技术进展报告

An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer

摘要

著录项

相似文献

相关主题

期刊订阅