3736 search results - page 391 / 748 » Generative Programming |
116
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
159
click to vote
QSIC
2009
IEEE
15 years 11 months ago
2009
IEEE
The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both research...
165
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
132
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
166
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...