9626 search results - page 448 / 1926 » Invariant Based Programming |
183
click to vote
JMLC
2000
Springer
15 years 10 months ago
2000
Springer
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
181
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
223
click to vote
ICPP
1991
IEEE
15 years 10 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...
168
Voted
AAAI
2008
15 years 9 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
187
click to vote
IWFM
1998
15 years 8 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...