10072 search results - page 1400 / 2015 » Composition of Model Programs |
171
Voted
ISSTA
1996
ACM
15 years 11 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
208
Voted
POPL
1996
ACM
15 years 11 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
215
click to vote
POPL
1990
ACM
15 years 11 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
159
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Current implementations for aspect-oriented programming languages map the aspect-oriented concepts of source programs to object-oriented bytecode. This hinders execution environme...
202
Voted
CHI
2007
ACM
15 years 11 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...