792 search results - page 51 / 159 » Static Analysis of XSLT Programs |
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
126
Voted
WCRE
2005
IEEE
15 years 6 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
102
click to vote
LISP
2008
15 years 22 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
118
click to vote
HIPC
2003
Springer
15 years 6 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
88
Voted
PEPM
1994
ACM
15 years 4 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...