5810 search results - page 270 / 1162 » An Approach to Programming Based on Concepts |
147
click to vote
ENTCS
2000
15 years 6 months ago
2000
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...
181
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we describe a multi-objective problem solving approach, simultaneously minimizing average surface roughness Ra and build Time T, for object manufacturing by Rapid Pr...
175
click to vote
IJNSEC
2007
15 years 6 months ago
2007
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
222
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
195
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...