1210 search results - page 20 / 242 » Formal Techniques for Java Programs |
113
click to vote
SCAM
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
140
click to vote
VL
2002
IEEE
15 years 6 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
112
click to vote
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
103
click to vote
SEFM
2006
IEEE
15 years 8 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
118
click to vote
TCAD
2008
15 years 1 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...