Structural operational semantics as a basis for static program analysis
Le Métayer, Daniel, Schmidt, DavidVolume:
28
Language:
english
Journal:
ACM Computing Surveys
DOI:
10.1145/234528.234744
Date:
June, 1996
File:
PDF, 159 KB
english, 1996