A tool that compiles JavaLanguage to JavaScript, thus supporting static typing and automated optimizations and automatically provides hooks for multi-browser compatibility.
This is performed for many of Google's AjaxWebApplications.
http://code.google.com/webtoolkit/overview.html
From that page:
Features: very extensive - including such goodies as integrated library support for internationalization, easy RPC, suggestion boxes, and effective use of the 'Back' button and bookmarking/history even with the surrounding AJAX difficulties.
See: http://code.google.com/webtoolkit/doc/1.6/RefWidgetGallery.html - Widget Gallery (version 1.6)
[EditHint: Merge with GoogleWebToolkit]
See also: BrowserAsGuiAssembler