4716 search results - page 542 / 944 » Tangible functional programming |
103
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a novel software-protection method, which can be fully implemented with today's technologies, that provides traitor tracing and license-enforcement functionalitie...
103
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Software component reuse is the software engineering practice of developing new software products from existing components. A reuse library or component reuse repository organizes...
107
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
116
click to vote
LISP
2008
15 years 2 months ago
2008
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
111
click to vote
JPDC
2006
15 years 2 months 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...