Travelled to:1 × USA
Collaborated with:∅
Talks about:object (2) constraint (1) solver (1) propag (1) orient (1) depend (1) graph (1) equat (1) chang (1)
Person: Michael R. Wilk
DBLP: Wilk:Michael_R=
Contributed to:
1991
1991Wrote 2 papers:
- OOPSLA-1991-Wilk #constraints #named #object-oriented #theorem proving
- Equate: An Object-Oriented Constraint Solver (MRW), pp. 286–298.
- TOOLS-USA-1991-Wilk #co-evolution #dependence #graph
- Change Propagation in Object Dependency Graphs (MRW), pp. 233–248.