686 search results - page 2 / 138 » Foundations for Bidirectional Programming |
NETWORKS
2006
13 years 5 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...
COMPSAC
2010
IEEE
13 years 3 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...
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
PEPM
2009
ACM
14 years 2 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...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
