11 search results - page 2 / 3 » ershov 2001 |
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
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...