Search Results for "message"

Stalk is a new prototyping, message-passing OO language similar to Self. The interpreter compiles source text to bytecode for the Stalk Virtual Machine (SVM) and caches it. Compilable on most systems with sane C++ compilers, stalk has optional gtk binding

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 asynchronous communications or protocol compliance anymore. ...