k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Source-to-source K-based translator ?

From: bongiovanni AT gmail.com
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Source-to-source K-based translator ?
Date: Fri, 27 Jan 2017 04:09:58 -0600

Hello,

I would like to have a K expert opinion about a specific usage I have in
mind :)

I've been toying with K yet I wonder this thing :

Given any two K formal semantics, let's say, C and ORC, do you think it is
possible (and feasable) to create a K-based source-to-source translator that
would translate a C program into an ORC program while retaining the semantics
of the original C program ?

Did some folks at UUIC work on that by any chances ? is there any interests in
doing such a thing ?

Cheers !

- Francesco

[[K-user] ] Source-to-source K-based translator ?, bongiovanni, 01/27/2017