Login New user?  
01-Applied Mathematics & Information Sciences
An International Journal
               
 
 
 
 
 
 
 
 
 
 
 

Content
 

Volumes > Volume 9 > No. 5

 
   

Probabilistic Dangling References of Imperative and Object-Oriented Multi-Core Programs

PP: 2741-2755
Author(s)
Mohamed A. El-Zawawy,
Abstract
Speculative optimizers of modern compilers are designed on techniques for probabilistic static analyses of programs. For imperative and object-oriented multi-core programs, this paper focuses on the problem of revealing probabilistic dangling references. This important problem is treated in this paper via type systems. Besides being simply structured, the type systems provide suitable frameworks for proof-carrying code applications. One class of such applications is that ofmobile codes having limited resources.Using the proposed technique, each analysis case is supported by a correctness proof in the form of a type derivation. Most important concurrent constructs such as fork-join constructs, conditionally spawned cores, and parallel loops are treated in this paper. This is done for both of imperative and objectoriented parallel programs. The paper proves the soundness of presented techniques using a probabilistic operational semantics for the language models.

  Home   About us   News   Journals   Conferences Contact us Copyright naturalspublishing.com. All Rights Reserved