2335 search results - page 102 / 467 » Functional Differentiation of Computer Programs |
89
Voted
JPDC
2006
15 years 17 days ago
2006
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...
105
click to vote
PLILP
1997
Springer
15 years 4 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
118
click to vote
NJC
2000
15 years 12 days ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
112
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
98
Voted
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...