1760 search results - page 124 / 352 » A System to Mark Programs Automatically |
144
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
111
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
149
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structur...
118
Voted
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
Traditional coverage of network programming techniques in a computer networking course addresses sockets, remote procedure call, and object-oriented remote procedure call. We prop...