84 search results - page 5 / 17 » Adventures in Bidirectional Programming |
ICMT
2009
Springer
14 years 2 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
13 years 7 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...
TLDI
2005
ACM
14 years 1 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
ICMT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners f...
OOPSLA
1995
Springer
13 years 11 months ago
1995
Springer
Existing schemes for object layout and dispatch in the presence of multiple inheritance and separate compilation waste space and are slower than systems with single inheritance. T...