k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] [K-user] Static program analysis in K

From: <vincenzoarceri.92 AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] [K-user] Static program analysis in K
Date: Wed, 13 Jan 2016 09:16:56 -0600

Hi everybody,
I'm a Master student from University of Verona (Italy) and I would like know
if it's possibile and how to involve the framework in program static analysis,
such as data flow analysis, or any advice about how to perform it.

[[K-user] ] [K-user] Static program analysis in K, vincenzoarceri.92, 01/13/2016