3706 search results - page 2 / 742 » The Transformational Approach to Program Development |
85
Voted
ESSOS
2009
Springer
15 years 2 months ago
2009
Springer
Injection attacks and their defense require a lot of creativity from attackers and secure system developers. Unfortunately, as attackers rely increasingly on systematic approaches ...
CHI
2007
ACM
15 years 1 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
110
click to vote
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
SSS
2009
Springer
15 years 4 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
PEPM
2004
ACM
15 years 2 months ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...