Search Results for "java programs" - Page 12

This toolkit facilitates easier connections between stored data, intermediate data, and data presented to users in Java applications. The classes are abstracted as much as possible to allow wide use for various types of programs.

The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.

axpl is an Advanced XML Programming language. Programs can be written nearly compiler and platform independend in xml. xslt can perform the output into a programming language (C,C++,C##,Java,...) into native code.

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...