[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Marcin Mlotkowski, Specification and Optimization of the Smalltalk programs. Ph.D. Thesis, University of Wroclaw, 2001. |
---|---|
Summary: | An operational semantics of Smalltalk is given using ASMs, along with proofs of equivalence of certain optimization techniques. |
Subjects: | Programming Languages, Verification |
Download: | From Marcin Mlotkowski's home page in PostScript. |
Notes: |