Sciweavers

ERSHOV
2001
Springer
14 years 4 months ago
Exploring Template Template Parameters
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...
Roland Weiss, Volker Simonis
ERSHOV
2001
Springer
14 years 4 months ago
Academic vs. Industrial Software Engineering: Closing the Gap
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...
Andrey N. Terekhov, Len Erlikh
ERSHOV
2001
Springer
14 years 4 months ago
Compiler-Cooperative Memory Management in Java
Vitaly V. Mikheev, Stanislav A. Fedoseev
ERSHOV
2001
Springer
14 years 4 months ago
A Method for Recovery and Maintenance of Software Architecture
D. V. Koznov, Konstantin Romanovsky, Alexei Nikiti...
ERSHOV
2001
Springer
14 years 4 months ago
Reexecution-Based Analysis of Logic Programs with Delay Declarations
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...
Agostino Cortesi, Baudouin Le Charlier, Sabina Ros...
ERSHOV
2001
Springer
14 years 4 months ago
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially
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...
Jan Friso Groote, Hans Zantema
ERSHOV
2001
Springer
14 years 4 months ago
Equivalent Transformation by Safe Extension of Data Structures
Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi