The P# console showing user interaction with the system. User queries are issued in the lower pane and solutions found by the system are reported in the upper pane.

---

A screenshot of an object oriented assistant, which allows the user to query the C# namespaces or Java packages. This combines a C# front-end with a P# back-end.

---

A screenshot of a class hierarchy viewer.

---

A screen shot of the agents example discussed in the Software Practice and Experience paper. Again, this combines a C# front-end with a P# back-end.

---

Last modified: Fri Oct 3 08:39:27 BST 2003