Sciweavers

CN
2000
88views more  CN 2000»
13 years 7 months ago
JavaML: a markup language for Java source code
The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated softwar...
Greg J. Badros
CC
2000
Springer
100views System Software» more  CC 2000»
13 years 12 months ago
A Static Study of Java Exceptions Using JESP
JESP is a tool for statically examining the usage of user thrown exceptions in Java source code. Reported here are the first findings over a dataset of 31 publicly available Java...
Barbara G. Ryder, Donald Smith, Ulrich Kremer, Mic...
OOPSLA
2001
Springer
13 years 12 months ago
Jiazzi: New-Age Components for Old-Fashioned Java
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...
Sean McDirmid, Matthew Flatt, Wilson C. Hsieh
APN
2004
Springer
14 years 27 days ago
An Extensible Editor and Simulation Engine for Petri Nets: Renew
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
Olaf Kummer, Frank Wienberg, Michael Duvigneau, J&...
ACMMSP
2006
ACM
278views Hardware» more  ACMMSP 2006»
14 years 1 months ago
Atomicity via source-to-source translation
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
Benjamin Hindman, Dan Grossman
CSMR
2008
IEEE
14 years 1 months ago
JDeodorant: Identification and Removal of Type-Checking Bad Smells
In this demonstration, we present an Eclipse plug-in that automatically identifies Type-Checking bad smells in Java source code, and resolves them by applying the “Replace Condi...
Nikolaos Tsantalis, Theodoros Chaikalis, Alexander...