1882 search results - page 184 / 377 » Transformational Programming and Forests |
151
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
129
click to vote
IWSEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
134
click to vote
ENTCS
2007
15 years 5 months ago
2007
mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...
154
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
154
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...