78 search results - page 11 / 16 » Fully abstract semantics of additive aspects by translation |
POPL
2008
ACM
14 years 7 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
CAISE
2004
Springer
14 years 12 days ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
BTW
2003
Springer
14 years 7 days ago
2003
Springer
Abstract: Some emerging trends in the recent development of the WWW can be observed. These trends are technical, like Web Services, as well as semantic, like the integration of ont...
ICSOC
2010
Springer
13 years 5 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
PLDI
2009
ACM
14 years 7 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...