[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] TCG semantics
|
From: |
E . Robbins |
|
Subject: |
[Qemu-devel] TCG semantics |
|
Date: |
Thu, 2 Feb 2017 12:09:02 +0000 |
Hello,
I having been looking for prior work on a formalised semantics for the TCG
language. I have seen passing references, and wondered if anyone can provide
any pointers?
If this is the wrong list for this question, apologies, please direct me
elsewhere.
Best,
Ed
- [Qemu-devel] TCG semantics,
E . Robbins <=