Experimental high-level language for distributed computing, focus: typing, naming, version change; designed, formally specified, implemented; extends OCaml core to support distributed development, deployment, execution, type-safe interaction between separately-built programs.
A minimal extension to Java easing distributed parallel programming of cluster computers. A source code transformation automatically generates a distributed pure Java program based on RMI or KaRMI.
C-based simulation language that can be used for sequential and parallel execution of discrete-event simulation models. Papers, source code, sample models. Replaced by PARSEC language.
Language for parallel programming on distributed systems, based on the shared data-object model, a portable form of object-based distributed shared memory. Papers and manual.
Structured language for data-parallel programming (SIMD systems), based on sequential Modula-2, extended. Source code, binaries, sample code, documents.
Extensions to C to support distinctions between local and shared data structures, and pointers to them; for high performance computing on large-scale parallel machines, uniform programming model for shared and distributed memory.
An extension of C++ to platform-free distributed computing. It enhances C++ with invariants, threading, database, GUI and conponent-oriented design. Z++ virtual processor supports the entire language on many platforms.
