Sémantika programovacích jazyků – Další jazyky