Advertisement
Nickname
zoomy
Registered since:
September 29, 2003
Short bio:
 
Home page:
 
Total posts:
1

Forum posts by Lionel:

1 page [ 1 ]
interfacing java & Isabelle/HOL
Posted in Java Answers Forum, Sep 29, 2003, 10:34 AM
hi !I don't know how to use Isabelle/HOL (logic language) in JAVA. I have to call routines from javaAny idea or tips?thxzoomy
1 page [ 1 ]
Latest Enterprise Developer News
• Programming in Scala, Third Edition, Now Available
• ScalaTest 3.0.0-M11 Released
• ScalaTest 3.0 Preview
• Artima SuperSafe 1.0.0 Released!
• Scala Puzzlers 50% off during Nescala conference
• Scala Puzzlers published!
• Thanksgiving Day Offer on Scala Books
• Scala Puzzlers now available as PrePrint
• A Hazard of Covariant Return Types and Bridge Methods
• ScalaTest 2.0.M6 Preview
Advertisement
More Enterprise Developer News
• ScalaCheck: The Definitive Guide PrePrint released
• Akka Concurrency by Derek Wyatt Published!
• Use Uncertainty As a Driver
• How the Use of Scala's Features Affects Compile Time
• Akka Concurrency - PrePrint Published!
• Monadic Design Patterns for the Web - PrePrint Published!
• Getting Started with Play 2, Scala, and Squeryl
• Coding with JRebel: Java Forever Changed
• Down on the Upside
• A Test of Knowledge
• Pushing the Limits in Java's Random
• Is Scala Only for Computer Scientists?
• WebSockets: A Glimpse of the Future
• What is the meaning of life?
• Scala, Patterns and The Perl Effect
• Scrum will never be the same
• JavaOne 2011 - Day 3
• Accusoft Pegasus Announces the Acquisition of Adeptol
• JavaOne 2011 - Day 2
• JavaOne 2011 - Day 1
• Web App with jQuery, CoffeeScript, Ajax, Web.py, and Heroku
• Static Typing, Guard Rails and Street Signs
• User Interface Programming in the (Near) Future
• Java 7: Too Little, Too Late?
• JavaScript Redux (and Closures)
• Borachio: Mock Objects for Scala and Android
• Fit or Future? Which is More Important When Hiring?
• ScalaTest 1.6.1 for Scala 2.9.0 released
• Scala: The Static Language that Feels Dynamic
• ScalaTest 1.6.1.RC1 for Scala 2.9.0 Released
• ScalaTest 1.5 Released
• Introducing the ScalaTest Shell: a DSL for the Scala Interpreter
• ScalaTest PropSpec and FreeSpec Preview
• A Business Case for New Languages
• Programming in Scala, First Edition, Now in HTML
• ScalaTest Property Checks Preview
• Agile Hiring In Stock and Ready to Ship
• C++ and Beyond PDF Released
• Agile Hiring PDF eBook Final Version Released
• Security Debt
Hottest Discussions