1675 search results - page 160 / 335 » Some thoughts on teaching programming and programming langua... |
242
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
149
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
249
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
136
Voted
WCRE
2006
IEEE
15 years 11 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
141
Voted
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...