2777 search results - page 115 / 556 » Example centric programming |
104
Voted
TPHOL
1994
IEEE
15 years 4 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
132
click to vote
CCGRID
2004
IEEE
15 years 4 months ago
2004
IEEE
Despite recent developments in higher-level middleware for the Grid supporting high level of ease-of-programming, hurdles for widespread adoption of Grids remain high, due to (1) ...
153
click to vote
CSCLP
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
96
Voted
SERP
2004
15 years 1 months ago
2004
Program restructuring or refactoring is often required when a function becomes too large or is involved in multiple activities and therefore exhibits low cohesion. A critical fact...
100
Voted
SLP
1993
15 years 1 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...