4835 search results - page 540 / 967 » Refactoring Functional Programs |
165
click to vote
ML
2006
ACM
16 years 24 days ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...
158
click to vote
CSB
2005
IEEE
16 years 14 days ago
2005
IEEE
We present TreeRefiner, a tool for refining multiple alignments of biological sequences. Given a multiple alignment, a phylogenetic tree, and scoring parameters as input, TreeRefi...
169
click to vote
SP
2005
IEEE
16 years 12 days ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
157
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
170
click to vote
ARGMAS
2004
Springer
16 years 7 days ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...