3311 search results - page 122 / 663 » Deductive Object Programming |
110
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents ObjRecombGA, a genetic algorithm framework for recombining related programs at the object file level. A genetic algorithm guides the selection of object file...
117
click to vote
EXPERT
2006
15 years 1 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
TOOLS
2010
IEEE
15 years 1 days ago
2010
IEEE
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
125
click to vote
SIGSOFT
2009
ACM
15 years 8 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...