11653 search results - page 2004 / 2331 » The Development of the C Language |
149
Voted
SAS
1991
Springer
15 years 8 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
142
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
144
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
128
click to vote
AIIDE
2007
15 years 7 months ago
2007
AI techniques are already widely used in game software to provide computer-controlled opponents for human players. However, game design is a more-challenging problem than game pla...
125
click to vote
AIPS
2007
15 years 7 months ago
2007
The last eight years have seen dramatic progress in temporal planning as highlighted by the temporal track in the last three International Planning Competitions (IPC). However, ou...