334 search results - page 5 / 67 » MDL: A Language and Compiler for Dynamic Program Instrumenta... |
JELIA
2010
Springer
13 years 6 months ago
2010
Springer
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
CASES
2006
ACM
14 years 1 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
JavaScript has been exploited to launch various browser-based attacks. Our previous work proposed a theoretical framework applying policy-based code instrumentation to JavaScript. ...
ICLP
1998
Springer
13 years 11 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
PLDI
1998
ACM
13 years 11 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...