10575 search results - page 407 / 2115 » Programming Languages |
179
click to vote
PPDP
2009
Springer
16 years 1 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...
192
click to vote
PADL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
209
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...
181
click to vote
VL
2003
IEEE
16 years 1 days ago
2003
IEEE
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...
185
click to vote
LLC
2010
15 years 1 months ago
2010
Models and concepts from biology have informed the study of language change for several centuries. In this article, I take a comparative look across the disciplines of historical ...