[Zurück]

F. Puntigam:
"Synchronization with Type Variables";
Vortrag: Workshop on Object-oriented Language Engineering for the Post-Java Era, Darmstadt, Germany; 22.07.2003; in: "Workshop on Object-oriented Language Engineering for the Post-Java Era", (2003), 10 S.

Although Java is supposed to be a language for the Internet, there is only marginal support of concurrency and synchronization. Especially the reliability of concurrent Java programs is quite often problematic. We propose a language with much more reliable synchronization concepts based on process types. This approach gives more flexibility and allows us to use inheritance and subtyping in concurrent programs in the same way as in sequential programs.

http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404555

http://progwww.vub.ac.be/~wdmeuter/PostJava/Puntigam.pdf