"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