686 search results - page 2 / 138 » Foundations for Bidirectional Programming |
112
Voted
NETWORKS
2006
15 years 1 months ago
2006
In a bidirected graph, each end of each edge is independently oriented. We show how to express any column of the incidence matrix as a half-integral linear combination of any colum...
119
Voted
COMPSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...
83
Voted
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
123
Voted
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
