4469 search results - page 288 / 894 » Dynamic Program Slicing |
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
FMCAD
2009
Springer
14 years 2 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
CISIS
2008
IEEE
14 years 2 months ago
2008
IEEE
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
PADL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...