Not in the sense of formal programming-language semantics, usually.