From Operational Semantics to Abstract Machines. Hannan, J. & Miller, D. Mathematical Structures in Computer Science, 2(4):415–459, 1992.
doi  bibtex   
@article{hannan92mscs,
  author = {John Hannan and Dale Miller},
  title = {From Operational Semantics to Abstract Machines},
  journal = {Mathematical Structures in Computer Science},
  volume = {2},
  number = {4},
  year = {1992},
  pages = {415--459},
  doi = {10.1017/S0960129500001559}
}

Downloads: 0