926 search results - page 147 / 186 » Prolog as the First Programming Language |
230
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
124
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. OpenJIT is an open-ended, reflective JIT compiler framework for Java being researched and developed in a joint project by Tokyo Inst. Tech. and Fujitsu Ltd. Although in g...
128
click to vote
AAAI
1990
15 years 3 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
179
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
210
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...