"SEcure BYtecode LAnguage" --
This project is an attempt to design strongly typed language like C# or Java using capability security model. This is a research project. This project is also a temporary home for async-objects projects which is prototype of classes for asynchronous inte ''[sic] description on sourceforge cuts off in mid-word.''

Looking at sourceforge stats, this project appears to have been inactive since 2003.

See "Sebyla Platform Project" at http://sebyla.sourceforge.net/
----
CategoryProgrammingLanguage ObjectCapabilityLanguage