Report - Operational Semantics - unipi.itpages.di.unipi.it/corradini/Didattica/PR2-B-14/OpSem.pdf · 2014-04-15 · An operational semantics for a programming language is a means for understanding

Please pass captcha verification before submit form