8132 search results - page 370 / 1627 » Dependability, Abstraction, and Programming |
173
click to vote
LOPSTR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
170
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
217
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
170
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. An overview of the concept of program similarity is presented. It divides similarity into two types--syntactic and semantic-and provides a review of eight categories of m...
210
click to vote
LMO
2000
15 years 8 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...