Sciweavers

8109 search results - page 462 / 1622
» A Model of Component-Based Programming
Sort
View
ML
2000
ACM
15 years 7 months ago
Multistrategy Discovery and Detection of Novice Programmer Errors
Detecting and diagnosing errors in novice behavior is an important student modeling task. In this paper, we describe MEDD, an unsupervised incremental multistrategy system for the ...
Raymund Sison, Masayuki Numao, Masamichi Shimura
171
Voted
IWPC
2010
IEEE
15 years 6 months ago
DepDigger: A Tool for Detecting Complex Low-Level Dependencies
We present a tool that identifies complex data-flow dependencies on code-level, based on the measure dep-degree. Low-level dependencies between program operations are modeled by...
Dirk Beyer, Ashgan Fararooy
335
Voted
PLDI
2009
ACM
16 years 8 months ago
A decision procedure for subset constraints over regular languages
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
Pieter Hooimeijer, Westley Weimer
165
Voted
OOPSLA
2009
Springer
16 years 2 months ago
A type and effect system for deterministic parallel Java
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig,...
HASKELL
2009
ACM
16 years 2 months ago
Parallel performance tuning for Haskell
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...
Don Jones Jr., Simon Marlow, Satnam Singh