4757 search results - page 400 / 952 » Monads for Functional Programming |
170
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
189
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
172
click to vote
IH
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
197
click to vote
PPPJ
2003
ACM
16 years 16 hour ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
174
click to vote
GCSE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...