Sciweavers

3311 search results - page 79 / 663
» Deductive Object Programming
Sort
View
ECAI
2006
Springer
15 years 1 months ago
Multi-Objective Propagation in Constraint Programming
Bounding constraints are used to bound the tolerance of solutions under certain undesirable features. Standard solvers propagate them one by one. Often times, it is easy to satisfy...
Emma Rollon, Javier Larrosa
APSEC
1995
IEEE
15 years 1 months ago
Testing of Object-Oriented Programs Based on Finite State Machines
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha
SC
1995
ACM
15 years 1 months ago
Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
WooYoung Kim, Gul Agha