"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/