80 search results - page 15 / 16 » Insecure Programming: How Culpable is a Language's Syntax |
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
AOSD
2005
ACM
13 years 11 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
TPHOL
2000
IEEE
13 years 9 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
ENGL
2008
13 years 5 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...