274 search results - page 42 / 55 » The Essence of Dataflow Programming |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
ECOOPW
1999
Springer
14 years 4 days ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
SAS
2009
Springer
2009
Springer
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
14 years 8 months ago
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...