jEdit

MaRDI QIDQ21661swMATHFDO

Official website http://www.jedit.org/

Cited in

(11)

• Runtime Exception Detection in Java Programs Using Symbolic Execution
• Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
• Clide
• Columbus
• Proof General Kit
• ArgoUML
• Poly/ML
• log4j
• GlassFish
• A web interface for Isabelle: the next generation
• Interactive simplifier tracing and debugging in Isabelle

This page was built for software: jEdit