Sciweavers

Share
SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
10 years 4 months ago
Pointer-Range Analysis
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
Suan Hsi Yong, Susan Horwitz
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
10 years 4 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
10 years 4 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
10 years 4 months ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
10 years 4 months ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...
SAS
2004
Springer
10 years 4 months ago
Program Generators and the Tools to Make Them
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...
Yannis Smaragdakis
SAS
2004
Springer
239views Formal Methods» more  SAS 2004»
10 years 4 months ago
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
books