K-user mailing list

["Zhang, Yi" <yzhng173 AT illinois.edu>]

Hi Daniel,

There is a series of APIs provided in 
k/API/src/main/java/org/kframework/Kapi.java. You can take a look.

Best,

Yi
________________________________________
From: 
daparpon AT dsic.upv.es
 
[daparpon AT dsic.upv.es]
Sent: Monday, February 20, 2017 3:05 AM
To: 
k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Calling K from external application

Hi! I am wondering if there is any way to call the K tool from the source code
of an external program, say for instance in Java, and retrieve the results in
a more structured way than just plain text.

For example, I am implementing a Java application that aims to call Krun on
some provided input, and process the results returned by Krun to further
operate with them. The application currently performs this communication by
calling the command line, redirecting the standard output to a buffer and
processing the output returned from plain text, but obviously this is
extremely slow and I would like to optimize it.

I would highly appreciate any help you can give me in this direction. I could
even change the programming language of my application from Java to another,
if necessary.

Thanks in advance,
Daniel