From the jc Home Page:
<blockquote>
Janus is an instance of a _(concurrent) *(constraints) *(programming language) due to Saraswat et al.: these languages are an elegant generalization of concurrent _(logic) programming languages and constraint logic programming languages. The computational paradigm is one where a set of concurrently executing agents interact with each other via a shared store by adding constraints to the store and checking constraints against the store. A central idea is to maintain a close connection between the logical and operational _(semantics) of programs by using logical entailment for synchronization purposes. This project is concerned with the development of program analysis, optimization, and implementation techniques for such languages. Many of the ideas and optimization techniques extend readily to other high level declarative programming languages and dynamically typed languages.
</blockquote>

<ul class="implementations">
  <li>_("ftp site"|ftp://ftp.cs.arizona.edu/janus/) with 2 compilers: a Janus-to-_(Prolog) compiler, <em>qdjanus</em>, and a Janus-to-_(C|C language) compiler, <em>qc</em>.</li>
</ul>

<ul class="links">
  <li>_("jc : An Optimizing Compiler for Janus"|http://www.cs.arizona.edu/jc/).</li>
</ul>
