k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] for help

From: Dwight Guth <dwight.guth AT runtimeverification.com>
To: "Moore, Brandon Michael" <bmmoore AT illinois.edu>
Cc: 苏卫宁 <davesuweining AT gmail.com>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] for help
Date: Mon, 10 Nov 2014 10:13:10 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

It is also possible to invoke commands on the command line, if you wish to write your C++ code as a separate process that communicates on stdout.

On Fri, Nov 7, 2014 at 11:37 AM, Moore, Brandon Michael <bmmoore AT illinois.edu> wrote:

It is possible to add new builtin functions implemented in Java (and perhaps use JNI to call other languages).

Brandon

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of 苏卫宁 [davesuweining AT gmail.com]
Sent: Sunday, October 19, 2014 10:02 PM
To: k-user AT cs.uiuc.edu
Subject: [K-user] for help

I want to know whether the K can call other program language such as cplusplus ?

thanks

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

Re: [K-user] for help, Moore, Brandon Michael, 11/07/2014
- Re: [K-user] for help, Dwight Guth, 11/10/2014