1210 search results - page 20 / 242 » Formal Techniques for Java Programs |
135
click to vote
SCAM
2005
IEEE
15 years 9 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 ...
163
click to vote
VL
2002
IEEE
15 years 9 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...
132
click to vote
PLDI
2000
ACM
15 years 8 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...
122
click to vote
SEFM
2006
IEEE
15 years 10 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...
135
click to vote
TCAD
2008
15 years 4 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...