The HSSM macro-architecture, Virtual Machine and H languages

  • Authors:
  • Paul Damian Wells

  • Affiliations:
  • Newberg, OR

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 2002

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper is an introduction to the Hierarchical Simultaneous Set Membership (HSSM) macro-architecture project, the associated HSSM Virtual Machine (HVM) and "H" languages. The ultimate goal of this project is the automated synthesis and verification of large multithreaded software applications.