1597 search results - page 168 / 320 » A Design Method for Object-Oriented Programming |
131
Voted
DLS
2008
15 years 5 months ago
2008
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, w...
158
click to vote
CEC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
127
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
131
click to vote
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
118
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...