1623 search results - page 252 / 325 » Programming language concepts for software developers |
112
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
112
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
In 1995, my team and I decided to create an outreach project that would use our research on functional programming to change the K-12 computer science curriculum. We had two diffe...
130
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
140
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...
112
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...