9626 search results - page 516 / 1926 » Invariant Based Programming |
343
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
204
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
187
click to vote
PLPV
2010
ACM
16 years 4 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
188
click to vote
IPSN
2010
Springer
16 years 2 months ago
2010
Springer
We advocate a novel programming approach we call slotted programming that not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding throu...
216
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...