The SOUL program query language

Query and inspect your Java, Smalltalk, C and Cobol programs.

  • About SOUL
  • News
  • Features
  • Libraries
  • Applications
  • Publications
  • Community
  • Download

Features of SOUL

  • Motivating Example
  • Template Terms
  • Domain-specific Unification
  • Quantified Resolution
  • Linguistic Symbiosis
  • Tabled Resolution

Features of SOUL » Quantified Resolution

Quantified Resolution

Putting a SOUL in software engineering tools for over a decade.