FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ViennaVM: a Virtual Machine for VDM-SL development

Authors: Tomohiro Oda, Keijiro Araki and Peter Gorm Larsen

Paper Information

Title:ViennaVM: a Virtual Machine for VDM-SL development
Authors:Tomohiro Oda, Keijiro Araki and Peter Gorm Larsen
Proceedings:Overture Full papers
Editors: Marcel Verhoef and Ken Pierce
Keywords:Virtual Machine, Code Generators, Animation
Abstract:

ABSTRACT. The executable subset of VDM allows code generators to automatically produce program code. A lot of research have been conducted on automated code generators. Virtual machines are common platforms of executing program code. Those virtual machines demand rigorous implementation and in return give portability among different operating systems and CPUs. This paper introduces a virtual machine called ViennaVM which is formally defined in VDM-SL and still under development. The objective of ViennaVM is to serve as a target platform of code generators from VDM specifications.

Pages:15
Talk:Jul 14 11:20 (Session 95G: Overture: Tools and Applications)
Paper: