Françoise Balmas

Learn More
We propose a new paradigm to query information about programs, namely <i>query by outlines.</i> This paradigm relies on an outlining model that conceptually describe units of code according to the computations they perform. Outlines are automatically constructed by our system PRISME for C and Lisp programs. Currently, both our model and our system are(More)
  • 1