1173 search results - page 100 / 235 » Program Derivation Using Analogy |
162
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
136
click to vote
IISWC
2008
IEEE
15 years 11 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
150
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Computational identification of blood-secretory proteins, especially proteins with differentially expressed genes in diseased tissues, can provide highly useful inform...
150
click to vote
COMPSAC
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
144
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...