4880 search results - page 736 / 976 » Manuals as Structured Programs |
207
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
146
click to vote
FPL
2007
Springer
16 years 24 days ago
2007
Springer
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
133
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
178
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
190
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...