2957 search results - page 197 / 592 » Code analysis and CS-XML |
126
click to vote
OOPSLA
2007
Springer
15 years 9 months 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...
119
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
144
click to vote
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
120
Voted
ICTCS
2005
Springer
15 years 9 months 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...
123
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...