Re: [isabelle-dev] Does Isabelle support code generation in C/C++ or maybe even java ???

2016-12-01 Thread Peter Lammich
Hi David, currently, the closest you can get is Scala, which can be linked to Java applications. Scala is supported out of the box by the code generator. --   Peter On Do, 2016-12-01 at 10:14 +, David Blubaugh wrote: > Does Isabelle support code generation in C/C++ or maybe even java ??? >

[isabelle-dev] Does Isabelle support code generation in C/C++ or maybe even java ???

2016-12-01 Thread David Blubaugh
Does Isabelle support code generation in C/C++ or maybe even java ??? Thanks, David BlubaughElectrical EngineerATR Associate ___ isabelle-dev mailing list isabelle-...@in.tum.de