DMCA

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines (2003)

by Wolf Zimmermann , Axel Dold
Venue:Abstract State Machines 2003–Advances in Theory and Applications, volume 2589 of Lecture Notes in Computer Science
Citations:7 - 0 self