Sciweavers

42507 search results - page 324 / 8502
» On the analysis of
Sort
View
ACSAC
2001
IEEE
15 years 10 months ago
Privacy-Preserving Cooperative Statistical Analysis
The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...
Wenliang Du, Mikhail J. Atallah
ACSC
2001
IEEE
15 years 10 months ago
Alias Analysis On Type Inference For Class Hierarchy In Java
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...
Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, D...
ICCBR
2010
Springer
15 years 10 months ago
Text Adaptation Using Formal Concept Analysis
This paper addresses the issue of adapting cases represented by plain text with the help of formal concept analysis and natural language processing technologies. The actual cases r...
Valmi Dufour-Lussier, Jean Lieber, Emmanuel Nauer,...
ICFP
2000
ACM
15 years 10 months ago
Fully reflexive intensional type analysis
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
Valery Trifonov, Bratin Saha, Zhong Shao
ICSE
2000
IEEE-ACM
15 years 10 months ago
Component design of retargetable program analysis tools that reuse intermediate representations
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 ...
James Hayes, William G. Griswold, Stuart Moskovics