926 search results - page 83 / 186 » Prolog as the First Programming Language |
147
click to vote
LOBJET
2006
15 years 4 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...
150
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
The MLF type system by Le Botlan and R?emy (2003) is a natural extension of Hindley-Milner type inference that supports full firstclass polymorphism, where types can be of higher-...
141
click to vote
CCR
2008
15 years 4 months ago
2008
Flow records gathered by routers provide valuable coarse-granularity traffic information for several measurement-related network applications. However, due to high volumes of traf...
237
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
166
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...