686 search results - page 101 / 138 » Foundations for Bidirectional Programming |
100
click to vote
JAIR
2010
14 years 8 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
PLDI
2011
ACM
14 years 16 days ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regularâ€...
120
click to vote
AOSD
2012
ACM
13 years 5 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started ï¬fteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
151
click to vote
ICDE
1997
IEEE
15 years 11 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...