4716 search results - page 524 / 944 » Iterative-free program analysis |
162
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
190
click to vote
CSMR
2006
IEEE
16 years 27 days ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
196
click to vote
ECBS
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
181
click to vote
SAC
2005
ACM
16 years 11 days ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
183
click to vote
ICTCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...