3311 search results - page 171 / 663 » Deductive Object Programming |
82
Voted
AAAI
2007
15 years 4 months ago
2007
A general game playing program plays games that it has not previously encountered. A game manager program sends the game playing programs a description of a game’s rules and obj...
66
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
The paper describes a library supporting effective programming and design of matrix algorithms and programs. The important feature of proposed library is the visual algorithm repr...
111
click to vote
EUROPLOP
2006
15 years 3 months ago
2006
Relationships between objects are almost as important to designs as the objects themselves. Most programming languages do not support relationships well, so programmers must imple...
119
click to vote
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
104
Voted
PEPM
1998
ACM
15 years 6 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...