6 search results - page 1 / 2 » Guarded Program Transformations Using JTL |
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
TACAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
NDSS
2008
IEEE
13 years 11 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
HASKELL
2006
ACM
13 years 10 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...