The Artima Developer Community
Articles | News | Weblogs | Books | Forums
Artima Forums | Articles | Weblogs | Java Answers | News
Sponsored Link •

Java Answers Forum
interfacing java & Isabelle/HOL

0 replies on 1 page.

Welcome Guest
  Sign In

Go back to the topic listing  Back to Topic List Click to reply to this topic  Reply to this Topic Click to search messages in this forum  Search Forum Click for a threaded view of the topic  Threaded View   
Previous Topic   Next Topic
Flat View: This topic has 0 replies on 1 page
Lionel

Posts: 1
Nickname: zoomy
Registered: Sep, 2003

interfacing java & Isabelle/HOL Posted: Sep 29, 2003 3:34 AM
Reply to this message Reply
Advertisement
hi !

I don't know how to use Isabelle/HOL (logic language) in JAVA. I have to call routines from java

Any idea or tips?

thx
zoomy

Topic: How to design a good Application ? Previous Topic   Next Topic Topic: Can not access class files in JSP
Sponsored Links


Google
  Web Artima.com   

Copyright © 1996-2019 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use