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 ???
> 
> 
> 
> Thanks,
> 
> David Blubaugh
> Electrical Engineer
> ATR Associate
> 
> 
> 
> 
> 
> ___
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabel
> le-dev
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


[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
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev