[Ann] Harmonia 3.0 program analysis toolkit released

Andrew Begel <abegel@cs.berkeley.edu>
26 Oct 2005 14:41:25 -0400

          From comp.compilers

Related articles
[Ann] Harmonia 3.0 program analysis toolkit released abegel@cs.berkeley.edu (Andrew Begel) (2005-10-26)
| List of all articles for this month |

From: Andrew Begel <abegel@cs.berkeley.edu>
Newsgroups: comp.compilers
Date: 26 Oct 2005 14:41:25 -0400
Organization: SBC http://yahoo.sbc.com
Keywords: tools, available
Posted-Date: 26 Oct 2005 14:41:25 EDT

Professor Susan L. Graham and the members of the Harmonia Research
Group at the University of California, Berkeley, announce the third
release of Harmonia-Mode and the first source code release of the
Harmonia program analysis toolkit.

* Harmonia-Mode is an XEmacs plug-in that provides language-based
services to the programmer while editing code. These services, provided
by the Harmonia program analysis toolkit, include semantic
search-and-replace, structural navigation, structural undo, hypertext
annotations, semantic information, use-def hyperlinks, syntax
highlighting and auto-indentation. Harmonia-Mode supports Java, C,
Scheme, Cool and Titanium.

* The Harmonia program analysis toolkit is an open, extensible framework
for constructing interactive, language-aware programming tools. Harmonia
includes an incremental GLR parser (which admits a more natural syntax
specification than LR), a static semantic analysis engine, and other
language-based facilities. Program source code is represented by
annotated abstract syntax trees augmented with non-linguistic material
such as whitespace and comments. The analysis engine can support any
textual language that has formal syntactic and semantic specifications.
The incremental nature of the analysis supports a history mechanism that
    is used both for history-based diagnostic information and for
contextual rollback. New languages can be easily added to Harmonia by
giving the system a syntactic and semantic description, which is
compiled into a dynamically loadable extension for that language. The
toolkit comes with language definitions for languages like Java, C,
Scheme, Cool, Titanium, C++, Cobol, Common Lisp, XML, and others.

Harmonia runs on Solaris 9, Linux, MacOS X 10.4, and new to this
release, Windows XP.

If you are interested in trying it out, please go to:

For commercialization opportunities, please see

Please report any feedback you have to the Harmonia group at


-- The Harmonia Research Group

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.