339 search results - page 26 / 68 » Code patterns for agent-oriented programming |
105
click to vote
ENTCS
2007
15 years 2 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
114
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
We introduce a clustering-based method of subpopulation management in genetic programming (GP) called Evolutionary Tree Genetic Programming (ETGP). The biological motivation behin...
100
click to vote
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
129
click to vote
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
109
click to vote
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...