I'm writing a paper for a programming languages workshop in which I have to describe the semantics of a new optimization for Java using Operational Semantics, small step style.
I have never used Operational Semantics before so I'm doubtful as whether to include in the paper some rules I'm using that are rather... let's say "common", such as the SKIP and the IF rules.
My programmer mindset tells me that perhaps there is some kind of "repository" of rules I can refer to by citing a paper or saying something "the common SKIP and the common IF rules you all know" in the paper
So the question is: should I include all rules in my paper or there is a way a can refer to them by citing, etc.?