3971 search results - page 89 / 795 » On the Use of Properties in Java Applications |
131
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
148
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
149
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
140
Voted
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
This tutorial teaches professional developers design principles for “production-quality”, aspect-oriented software, written in Java/AspectJ and Ruby. The discussion starts wit...
141
click to vote
PPPJ
2004
ACM
15 years 10 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...