1096 search results - page 51 / 220 » Partial Evaluation of Pointcuts |
131
Voted
CORR
2002
Springer
15 years 17 days ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
91
Voted
NLPRS
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, we propose a hierarchical phrase alignment method that aims to acquire translation knowledge. Previous methods utilize the correspondence of sub-trees between bilin...
111
Voted
CSFW
1997
IEEE
15 years 5 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
94
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
93
Voted
IS
2006
15 years 21 days ago
2006
Abstract. Terms which are not explicitly mentioned in the text of a document receive often a minor role in current retrieval systems. In this work we connect the management of such...