Semantica operazionale - Altre lingue