Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michael Woolf

dblp:90/5084 · DBLP profile ↗
← Back
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
Requirements engineering and software design · 50% Programming languages and type systems · 50%
Theoretical computer science
1 paper
Automated reasoning and model checking · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › logic programming
constraint hierarchy
0.011987
Constraint Hierarchies · OOPSLA 1987
Requirements engineering and software design
constraint satisfaction
0.011987
Constraint Hierarchies · OOPSLA 1987
Automated reasoning and model checking
constraint solving
0.011987
Constraint Hierarchies · OOPSLA 1987

Methods — techniques the papers use, named apart from their topics

constraint hierarchy solver · 0.0
YearPublicationVenuePosition
1987 Constraint Hierarchies
abstract
Constraints describe relations that must be maintained, and provide a useful tool for such applications as interactive simulations, algorithm animation, and graphical user interface construction. We describe a major overhaul and extension to the constraint satisfaction mechanism in ThingLab, a constraint-oriented simulation laboratory written in the Smalltalk-80 language. First, a specification is presented of constraint hierarchies. Such hierarchies include both required constraints and default constraints of differing strengths, thus adding considerable expressive power to the system. Second, an algorithm for satisfying constraint hierarchies is described. The new satisfier is substantially faster than the previous version, even though it also includes new functionality.
Alan Borning, Robert Duisberg, Bjørn N. Freeman-Benson, Axel Kramer, Michael Woolf
OOPSLA5