ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
We argue that there is a gap between software engineering cultivated in the universities and industrial software development. We believe that it is possible to get academia and ind...
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer