Sciweavers

7576 search results - page 372 / 1516
» UNIX as an Application Program
Sort
View
HASKELL
2008
ACM
15 years 7 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
SOFTVIS
2010
ACM
15 years 7 months ago
CodePad: interactive spaces for maintaining concentration in programming environments
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
Chris Parnin, Carsten Görg, Spencer Rugaber
SAC
2008
ACM
15 years 6 months ago
Automatic software fault localization using generic program invariants
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
Rui Abreu, Alberto González 0002, Peter Zoe...
SAGT
2010
Springer
167views Game Theory» more  SAGT 2010»
15 years 5 months ago
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It
Recent results showing PPAD-completeness of the problem of computing an equilibrium for Fisher’s market model under additively separable, piecewise-linear, concave utilities (pl...
Gagan Goel, Vijay V. Vazirani
TCS
2010
15 years 5 months ago
A trajectory-based strict semantics for program slicing
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
Richard W. Barraclough, David Binkley, Sebastian D...