The SPL Programming Language
