1760 search results - page 72 / 352 » A System to Mark Programs Automatically |
100
click to vote
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
CSUR
1999
14 years 11 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
107
click to vote
ICSM
2000
IEEE
15 years 4 months ago
2000
IEEE
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...