jEdit

() jEdit is a free software text editor available under the GNU General Public License version 2.0. It is written in Java and runs on any operating… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Isabelle/jEdit is a Prover IDE (PIDE) that integrates parallel proof checking [6, 12] with asynchronous user interaction [8, 11… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
Topic models are generative probabilistic models which have been applied to information retrieval to automatically organize and… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2014
Highly Cited
2014
During software maintenance and evolution the internal structure of the software system undergoes continuous changes. These… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
2012
2012
PIDE is a general framework for document-oriented prover interaction and integration, based on a bilingual architecture that… (More)
Is this relevant?
2012
2012
After several decades, most proof assistants are still centered around TTY-based interaction in a tight read-eval-print loop… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2012
2012
For hard real-time systems, static code analysis is needed to derive a safe bound on the worst-case execution time (WCET… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2009
2009
When a running program becomes unresponsive, it is often impossible for a user to determine if the program is performing some… (More)
  • figure 2
  • figure 4
  • figure 6
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Twenty-seven automatically extractable bug fix patterns are defined using the syntax components and context of the source code… (More)
  • table 1
  • figure 2
  • table 3
  • table 4
  • figure 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A great deal of attention has lately been given to addressing software bugs such as errors in operating system drivers or… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
In this paper, we demonstrate our tool Aspect-jEdit that supports the editing of inline aspects. Inline Aspects identify a new… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?