4716 search results - page 291 / 944 » Tangible functional programming |
198
Voted
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
167
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Adaptive parallel computations--computations that can adapt to changes in resource availability and requirement--can effectively use networked machines because they dynamically ex...
175
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
155
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...
180
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this work, we employed genetic programming to evolve a "white hat" attacker; that is to say, we evolve variants of an attack with the objective of providing better de...