Sciweavers

3316 search results - page 335 / 664
» Mining Software Engineering Data
Sort
View
TAPSOFT
1997
Springer
15 years 7 months ago
On the Complexity of Function Pointer May-Alias Analysis
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...
Robert Muth, Saumya K. Debray
APSEC
1996
IEEE
15 years 7 months ago
The Telephone Directory Enquiry System of Hong Kong
This paper is concerned with the design and performance of the telephone directory enquiry system newly adopted in Hong Kong. This system maintains three million telephone records...
K. P. Chow, Tak Wah Tak Wah, Ka Hing Lee
ASWEC
2004
IEEE
15 years 7 months ago
Obstacles to a Totally Functional Programming Style
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
Paul A. Bailes, Colin J. M. Kemp
EDBTW
2006
Springer
15 years 7 months ago
A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
Shawn Bowers, Bertram Ludäscher
FOSSACS
2006
Springer
15 years 7 months ago
Guessing Attacks and the Computational Soundness of Static Equivalence
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
Martín Abadi, Mathieu Baudet, Bogdan Warins...