Abstract: Methods and apparatus, including computer program products implement techniques for validating programs. A language-independent description of a computer program is received, and the language-independent description is validated. The language-independent description includes a definition module and an implementation module. A language-dependent program is generated from the language-independent description, where the language-dependent program includes an interface and a class, and the language-dependent program is validated.

Abstract: A client-side framework for enhancing the functionality of web browsers. The client-side framework enhancing a client-side scripting language, such as JavaScript, so that it provides object-oriented features and enabling cross-window and cross-frame communications.

Abstract: Systems, methods, and apparatus, including computer program products, for abstracting rendering logic and automatically generating platform-specific renderers from the abstracted rendering logic for multiple platforms. A platform-independent description of rendering logic for a control is specified. The platform-independent description is used to generate a platform-specific renderer for the control. The platform-specific renderer is operable to be executed on a specific platform to produce code that can be used in rendering the control on a client computer. Some implementations enable code for platform-specific renderers to be generated automatically based on centrally defined rendering logic. Rendering logic can thus be modified once and used to automatically update code and libraries for platform-specific renderers on multiple platforms.

Abstract: An XML client abstraction layer for providing an XML page description as an abstraction of an HTML page at design time. A style sheet XSLT translator is used to derive the run time code from the XML page. Additional features or improvements may be added through an XML parser.

Abstract: Systems, methods, and apparatus, including computer program products, for abstracting rendering logic and automatically generating platform-specific renderers from the abstracted rendering logic for multiple platforms. A platform-independent description of rendering logic for a control is specified. The platform-independent description is used to generate a platform-specific renderer for the control. The platform-specific renderer is operable to be executed on a specific platform to produce code that can be used in rendering the control on a client computer. Some implementations enable code for platform-specific renderers to be generated automatically based on centrally defined rendering logic. Rendering logic can thus be modified once and used to automatically update code and libraries for platform-specific renderers on multiple platforms.

Abstract: Methods and apparatus, including computer program products implement techniques for validating programs. A language-independent description of a computer program is received, and the language-independent description is validated. The language-independent description includes a definition module and an implementation module. A language-dependent program is generated from the language-independent description, where the language-dependent program includes an interface and a class, and the language-dependent program is validated.

Abstract: An XML client abstraction layer for providing an XML page description as an abstraction of an HTML page at design time. A style sheet XSLT translator is used to derive the run time code from the XML page. Additional features or improvements may be added through an XML parser.

Abstract: A client-side framework for enhancing the functionality of web browsers. The client-side framework enhancing a client-side scripting language, such as JavaScript, so that it provides object-oriented features and enabling cross-window and cross-frame communications.