Stem smolc$ (all stems)
1 papers:
CRAI-1986-AstesianoR #approach #programming language #semantics #tutorial- The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.
CRAI-1986-AstesianoR #approach #programming language #semantics #tutorial