Results 11 - 20
of
152,588
CIL: Intermediate language and tools for analysis and transformation of C programs
- In International Conference on Compiler Construction
, 2002
"... Abstract. This paper describes the CIntermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. Compared to C, CIL has fewer constructs. It breaks down certain complicated constructs of C into simpler ones, ..."
Abstract
-
Cited by 533 (11 self)
- Add to MetaCart
Abstract. This paper describes the CIntermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. Compared to C, CIL has fewer constructs. It breaks down certain complicated constructs of C into simpler ones
Component Design of Retargetable Program Analysis Tools that Reuse Intermediate Representations
- In Proceedings of the 2000 International Conference on Software Engineering (ICSE 2000
, 2000
"... Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to introduce an intermediate abstraction---an adaptation layer--- between an existing language representation and the progra ..."
Abstract
-
Cited by 8 (1 self)
- Add to MetaCart
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to introduce an intermediate abstraction---an adaptation layer--- between an existing language representation
Leveraging XML technologies in developing program analysis tools
- in Proceedings of 4th International Workshop on Adoption-Centric Software Engineering (ACSE'04
, 2004
"... XML technologies are quickly becoming ubiquitous within all aspects of computer and information sciences. Both industry and academics have accepted the XML standards and the large number of tools that support manipulation, transformation, querying, and storage of XML objects. Thus, tools and represe ..."
Abstract
-
Cited by 9 (1 self)
- Add to MetaCart
with srcML to support various program analysis, fact extraction, and reverse engineering tasks. A short description of these tools is given along with the motivation behind using an adoption centric XML approach. 1.
Generalized Aliasing as a Basis for Program Analysis Tools
, 2001
"... Tools for automatic program analysis promise to improve programmer productivity by searching and summarizing large bodies of code. However, the phenomenon of aliasing --- different names being used to refer to the same data --- reduces the effectiveness of simple textual analyses. This dissertation ..."
Abstract
- Add to MetaCart
Tools for automatic program analysis promise to improve programmer productivity by searching and summarizing large bodies of code. However, the phenomenon of aliasing --- different names being used to refer to the same data --- reduces the effectiveness of simple textual analyses
The Design of Whole-Program Analysis Tools\Lambda
"... CHCS), a million-line hospital managementsystem written in the MUMPS programming language. ..."
Abstract
- Add to MetaCart
CHCS), a million-line hospital managementsystem written in the MUMPS programming language.
Program Analysis Tools for Application Specific Architectures
"... Application specific acceleration using Field Programmable Gate Arrays (FPGAs) and Floating Point Arrays (FPAs) offers the opportunity to significantly augment the computing power of microproprocessors. In these architectures, acceleration ..."
Abstract
- Add to MetaCart
Application specific acceleration using Field Programmable Gate Arrays (FPGAs) and Floating Point Arrays (FPAs) offers the opportunity to significantly augment the computing power of microproprocessors. In these architectures, acceleration
Perspectives on Program Analysis
, 1996
"... eing analysed. On the negative side, the semantic correctness of the analysis is seldom established and therefore there is often no formal justification for the program transformations for which the information is used. The semantics based approach [1; 5] is often based on domain theory in the form ..."
Abstract
-
Cited by 685 (35 self)
- Add to MetaCart
eing analysed. On the negative side, the semantic correctness of the analysis is seldom established and therefore there is often no formal justification for the program transformations for which the information is used. The semantics based approach [1; 5] is often based on domain theory
Javana: A System for Building Customized Java Program Analysis Tools
- OOPSLA'06
, 2006
"... Understanding the behavior of applications running on high-level language virtual machines, as is the case in Java, is non-trivial because of the tight entanglement at the lowest execution level between the application and the virtual machine. This paper proposes Javana, a system for building Java p ..."
Abstract
-
Cited by 6 (4 self)
- Add to MetaCart
program analysis tools. Javana provides an easy-to-use instrumentation infrastructure that allows for building customized profiling tools very quickly. Javana runs a
Program Analysis and Specialization for the C Programming Language
, 1994
"... Software engineers are faced with a dilemma. They want to write general and wellstructured programs that are flexible and easy to maintain. On the other hand, generality has a price: efficiency. A specialized program solving a particular problem is often significantly faster than a general program. ..."
Abstract
-
Cited by 629 (0 self)
- Add to MetaCart
with efficiency. This thesis presents an automatic partial evaluator for the Ansi C programming language. The content of this thesis is analysis and transformation of C programs. We develop several analyses that support the transformation of a program into its generating extension. A generating extension is a
A Method for Adapting a Program Analysis Tool to Multiple Source Languages
, 1998
"... By providing information about system architecture and object usage, program analysis tools can give useful assistance in understanding software systems when performing tasks such as restructuring, enhancement, and module replacement. To be most useful, these tools need to adapt easily to different ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
By providing information about system architecture and object usage, program analysis tools can give useful assistance in understanding software systems when performing tasks such as restructuring, enhancement, and module replacement. To be most useful, these tools need to adapt easily to different
Results 11 - 20
of
152,588