4067 search results - page 259 / 814 » Programs for Applying Symmetries |
183
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
186
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
168
click to vote
IISWC
2008
IEEE
16 years 1 months ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
165
Voted
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
158
click to vote
SIGADA
2005
Springer
16 years 5 days ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...