أرسل هذا في رسالة قصيرة: SlanC: A Specification Language for Computable Contracts