1445 search results - page 136 / 289 » Uniformly Hard Languages |
197
click to vote
JMLR
2012
13 years 6 months ago
2012
This paper presents new and effective algorithms for learning kernels. In particular, as shown by our empirical results, these algorithms consistently outperform the so-called uni...
155
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
149
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
147
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
167
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....