Comment by j15t

Hi, I'm interested in program execution state and the different ways it can be represented/modelled. The "relational model" you describe sounds very interesting. Do you have a technical whitepaper on this topic, or perhaps some third-party literature that has guided you?