686 search results - page 10 / 138 » Foundations for Bidirectional Programming |
NETWORKS
2006
14 years 9 months ago
2006
We define binet matrices, which furnish a direct generalization of totally unimodular network matrices and arise from the node-edge incidence matrices of bidirected graphs in the ...
ICMT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
ENTCS
2008
14 years 9 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
151
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
We introduce and give formal definitions of attack