Sciweavers

598 search results - page 55 / 120
» A dynamic birthmark for java
Sort
View
FMOODS
2003
14 years 11 months ago
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
Cees Pierik, Frank S. de Boer
APLAS
2006
ACM
15 years 1 months ago
Combining Offline and Online Optimizations: Register Allocation and Method Inlining
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
Hiroshi Yamauchi, Jan Vitek
ICSE
2009
IEEE-ACM
15 years 10 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
FTDCS
2003
IEEE
15 years 3 months ago
Architecture and Operation of an Adaptable Communication Substrate
This paper describes the internal architecture and operation of an adaptable communication component called the MetaSocket. MetaSockets are created using Adaptive Java, a reflect...
Seyed Masoud Sadjadi, Philip K. McKinley, Eric P. ...
IAT
2003
IEEE
15 years 3 months ago
MPIAB: A Novel Agent Architecture for Parallel Processing
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
Shahram Rahimi, Ajay Narayanan, Meha Sabharwal