3931 search results - page 26 / 787 » Separation logic and abstraction |
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
TIME
2005
IEEE
14 years 2 months ago
2005
IEEE
ECEASST
2010
13 years 5 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and