3311 search results - page 334 / 663 » Deductive Object Programming |
203
click to vote
Book
"The term “design patterns” sounds a bit formal to the uninitiated and
can be somewhat off-putting when you first encounter it. But, in fact, design
patterns are just co...
229
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
154
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
154
click to vote
CISIS
2008
IEEE
15 years 9 months ago
2008
IEEE
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
119
click to vote
CPAIOR
2007
Springer
15 years 9 months ago
2007
Springer
Portfolio selection is a relevant problem arising in finance and economics. While its basic formulations can be efficiently solved through linear or quadratic programming, its mor...