Demo Data from EDBT 2026 / reviewers in the wild / expert
Tim Nicholson
dblp:76/1183
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1989
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-author
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 · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › language semantics › formal semantics
denotational semantics |
0.0 | 1 | 1989 | A Denotational Semantics for Prolog · ACM Trans. Program. Lang. Syst. 1989 |
Programming languages and type systems
language semantics |
0.0 | 1 | 1989 | A Denotational Semantics for Prolog · ACM Trans. Program. Lang. Syst. 1989 |
Programming languages and type systems
logic programming |
0.0 | 1 | 1989 | A Denotational Semantics for Prolog · ACM Trans. Program. Lang. Syst. 1989 |
Programming languages and type systems › logic programming
prolog |
0.0 | 1 | 1989 | A Denotational Semantics for Prolog · ACM Trans. Program. Lang. Syst. 1989 |
Methods — techniques the papers use, named apart from their topics
goal continuations · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1989 | A Denotational Semantics for PrologabstractA denotational semantics is presented for the language Pro.og. Metapredicates are not considered. Conventional control sequencing is assumed for Prolog's execution. The semantics is nonstandard, and goal continuations are used to explicate the sequencing. Tim Nicholson, Norman Y. Foo |
ACM Trans. Program. Lang. Syst. | 1 |