852 search results - page 95 / 171 » entcs 2010 |
81
Voted
ENTCS
2006
15 years 17 days ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
118
Voted
ENTCS
2006
15 years 17 days ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
135
click to vote
ENTCS
2006
15 years 17 days ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
122
click to vote
ENTCS
2006
15 years 17 days ago
2006
Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a n...
70
Voted
ENTCS
2006
15 years 17 days ago
2006
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...