4057 search results - page 101 / 812 » Linear combination of transformations |
150
click to vote
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
116
Voted
WCRE
1997
IEEE
15 years 8 months ago
1997
IEEE
Domain analysis is an effective technique for enabling both reuse and reverse engineering. This paper shows how domain analysis can provide a framework for combining reverse engin...
149
Voted
AMFG
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a novel appearance-based representation, called Structured Ordinal Feature (SOF). SOF is a binary string encoded by combining eight ordinal blocks in a ci...
104
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
129
click to vote
FUIN
2006
15 years 4 months ago
2006
Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-k...