operational semantics

category of formal programming language semantics

ক্যাটাগরি: