Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Logic and its applications
The HSSM macro-architecture, Virtual Machine and H languages
ACM SIGPLAN Notices
Fine-Grain Interoperability of Scientific Workflows in Distributed Computing Infrastructures
Journal of Grid Computing
| Hi-index | 0.00 |
The Hierarchical Simultaneous Set Membership (HSSM) intermediate representation is a graphical representation that can be used to efficiently encode source languages during parsing. It also provides an excellent design representation for code generation as well. Moreover, the HSSM IR is the basis for a relational algebra. Where a relational algebra is to software design what Boolean algebra is to digital logic design. This formal mathematical interpretation makes the HSSM IR an excellent platform on which to develop the extensive automated synthesis/verification algorithms that will necessarily form the basis of next generation computers.