Skip to Content.
Sympa Menu

k-user - [[K-user] ] Calling K from external application

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Calling K from external application


Chronological Thread 
  • From: <daparpon AT dsic.upv.es>
  • To: k-user AT lists.cs.illinois.edu
  • Subject: [[K-user] ] Calling K from external application
  • Date: Mon, 20 Feb 2017 03:05:21 -0600

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



Archive powered by MHonArc 2.6.19.

Top of Page