Nadia Belblidia, Mourad Debbabi. A Dynamic Operational Semantics for JVML. Journal of Object Technology, 6(3):71-100, 2007. [doi]
@article{BelblidiaD07, title = {A Dynamic Operational Semantics for JVML}, author = {Nadia Belblidia and Mourad Debbabi}, year = {2007}, url = {http://www.jot.fm//issues/issue_2007_03/article2}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/BelblidiaD07}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {6}, number = {3}, pages = {71-100}, }