10575 search results - page 547 / 2115 » T2Script Programming Language |
171
click to vote
COMPSEC
2007
15 years 7 months ago
2007
— Programmers often have access to confidential data that are not strictly needed for program development. Broad priveleges from accounts given to programmers allow them to view...
237
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
201
Voted
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
308
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
273
Voted
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...