ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the underlying unfold rules with a small rewrite system that h...
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. The paper describes a problem of multi-agent path planning in environment with obstacles. Novel approach to multi-agent optimal path planning, using graph representation ...
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...