5415 search results - page 151 / 1083 » The Implementation of Functional Programming Languages |
LISP
2002
13 years 10 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
CSFW
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
VL
2009
IEEE
14 years 5 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
AAMAS
2011
Springer
13 years 2 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
IPSN
2009
Springer
14 years 5 months ago
2009
Springer
Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and ...