16190 search results - page 428 / 3238 » Applicative programming with effects |
135
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
176
click to vote
COMPSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
125
Voted
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
151
Voted
IJCAI
1989
15 years 6 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
142
Voted
AMC
2005
15 years 5 months ago
2005
In this paper, we present an application of 0-1 linear programming problem in the indentification of the nondominated paths on a network. To find efficient paths, an adaptationof t...