968 search results - page 78 / 194 » The Molen Programming Paradigm |
141
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
123
click to vote
CPAIOR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
137
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
133
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
Service-based Grid infrastructures emphasize service composition rather than sharing of low level resources. The idea is to build Grid applications out of computational services p...
155
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...