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

[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 +0000, David Blubaugh wrote:
> Does Isabelle support code generation in C/C++ or maybe even java ???
> 
> 
> 
> Thanks,
> 
> David Blubaugh
> Electrical Engineer
> ATR Associate
> 
> 
> 
> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabel
> le-dev