7103 search results - page 342 / 1421 » Program Generation and Components |
147
Voted
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
122
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
143
click to vote
IJCAI
2003
15 years 5 months ago
2003
We investigate the combination of answer set programming and qualitative optimization techniques. Answer set optimization programs (ASO programs) have two parts. The generating pr...
137
Voted
FCCM
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper explores the implications of integrating flexible module generation into a compiler for FPGAs. The objective is to improve the programmabilityof FPGAs, or in other wor...
122
Voted
FAC
2008
15 years 3 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...