[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | A.V. Zamulin, "State-based Semantics of a Pascal-like Language." Institute of Informatics Systems, Preprint No 104, Novosibirsk, 2003. |
---|---|
Summary: | A technique for describing the semantics of an imperative, Pascal-like language in terms of ASM update sets is described. |
Subjects: | ASM Explorations |
Download: | PostScript, PDF, Compressed PostScript |
Notes: |