1665 search results - page 208 / 333 » Design Patterns as Language Constructs |
181
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
145
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
177
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
175
click to vote
DATESO
2007
15 years 7 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
168
click to vote
DEXAW
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...