11022 search results - page 449 / 2205 » Programming Systems for Autonomy |
208
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
275
click to vote
DLS
2010
15 years 5 months ago
2010
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
214
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
211
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
291
click to vote
CC
2009
Springer
16 years 8 months ago
2009
Springer
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...