4757 search results - page 370 / 952 » Monads for Functional Programming |
167
click to vote
ASIAN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
233
click to vote
PLDI
1997
ACM
15 years 11 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
229
click to vote
Book
"This is a preliminary translation of the book Développement d'applications avec Objective Caml by Emmanuel Chailloux, Pascal Manoury and Bruno Pagano, published by O�...
166
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
131
click to vote
OOPSLA
2004
Springer
16 years 2 days ago
2004
Springer
Code instrumentation is a mechanism that allows modules of programs to be completely rewritten at runtime. With the advent of virtual machines, this type of functionality is becom...