Sciweavers

1407 search results - page 125 / 282
» The Use of Overloading in Java Programs
Sort
View
PLDI
2012
ACM
13 years 7 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
SEMWEB
2009
Springer
15 years 11 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...
OOPSLA
2005
Springer
15 years 10 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....
STORYTELLING
2005
Springer
15 years 10 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
ENTCS
2002
106views more  ENTCS 2002»
15 years 4 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...