7430 search results - page 686 / 1486 » Programming Applications in CIFF |
184
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
153
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
191
click to vote
AOSD
2009
ACM
16 years 2 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
209
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
When programmers develop or maintain software, they instinctively sense that there are fragments of code that other developers implemented somewhere, and these code fragments coul...
187
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present preliminary results of a project to create a tuning system that adaptively optimizes programs to the underlying execution platform. We will show initial results from tw...