2000 search results - page 321 / 400 » Program Transformation and Proof Transformation |
223
Voted
DLS
2009
15 years 1 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
137
Voted
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—In this paper, we present a novel languageindependent algorithm for extracting text-lines from handwritten document images. Our algorithm is based on the seam carving ap...
108
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
131
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
163
click to vote
FIDJI
2003
Springer
15 years 8 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...