EDBT 2026 Demo / reviewers in the wild / expert
Hans-Georg Oberhauser
dblp:97/3256
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 1987
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 70% Compilers and program optimization · 30% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › lazy evaluation
call-by-need |
0.0 | 1 | 1987 | A Space-Efficient Optimization of Call-by-Need · IEEE Trans. Software Eng. 1987 |
Programming languages and type systems
evaluation strategies |
0.0 | 1 | 1987 | A Space-Efficient Optimization of Call-by-Need · IEEE Trans. Software Eng. 1987 |
Programming languages and type systems
functional programming |
0.0 | 1 | 1987 | A Space-Efficient Optimization of Call-by-Need · IEEE Trans. Software Eng. 1987 |
Compilers and program optimization
space optimization |
0.0 | 1 | 1987 | A Space-Efficient Optimization of Call-by-Need · IEEE Trans. Software Eng. 1987 |
Compilers and program optimization
program transformation |
0.0 | 1 | 1987 | A Space-Efficient Optimization of Call-by-Need · IEEE Trans. Software Eng. 1987 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.0program transformation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1987 | A Space-Efficient Optimization of Call-by-NeedabstractCall-by-need is widely regarded as an optimal (to within a constant factor) parameter passing mechanism for functional programming languages. Except for certain special cases involving higher order functions, call-by-need is optimal with respect to time. However, call-by-need is far from optimal with respect to space. We examine some of the space problems which can arise with call-by-need and other parameter passing mechanisms. A simple optimizing technique, based on work by Mycroft [1], is proposed. If it can be determined both that an expression must be evaluated eventually and that the evaluation of the expression is likely to reduce the space required by the program, then the evaluation is performed as soon as possible. This optimization does not result in optimal space performance in all cases. However, in most of the common cases where call-by-need causes a problem the proposed optimization avoids the problem. Since our technique is not always optimal, it is likely to be of greatest advantage in situations where efficiency is important but not critical. For example, functional languages with call-by-name semantics are increasingly being used as specification languages. Since such a specification is runnable, it may be used as a prototype. This makes it possible to experiment with a program and refine the specification before the implementation in the target language is started. F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm |
IEEE Trans. Software Eng. | 3 |