Sciweavers

1407 search results - page 125 / 282
» The Use of Overloading in Java Programs
Sort
View
177
Voted
PLDI
2012
ACM
13 years 5 months ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
114
Voted
SEMWEB
2009
Springer
15 years 9 months ago
Processing OWL2 Ontologies using Thea: An Application of Logic Programming
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
Vangelis Vassiliadis, Jan Wielemaker, Chris Mungal...
119
Voted
OOPSLA
2005
Springer
15 years 8 months ago
Finding application errors and security flaws using PQL: a program query language
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
Michael C. Martin, V. Benjamin Livshits, Monica S....
89
Voted
STORYTELLING
2005
Springer
15 years 8 months ago
The Rapunsel Project
Abstract. By use of a dance game, and after much input and advice from thirteen year old design consultants, we teach Java programming in a way that will interest middle school gir...
Ken Perlin, Mary Flanagan, Andrea Hollingshead
115
Voted
ENTCS
2002
106views more  ENTCS 2002»
15 years 2 months ago
Refactoring by Transformation
In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented languag...
Márcio Cornélio, Ana Cavalcanti, Aug...