Skip to Main content Skip to Navigation
Theses

Static analysis of concurrent programs based on behavioral type systems

Abel Celestrín 1, 2
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Abstract : The strength of program static analysis techniques lies on its ability to de- tect faulty behaviors prior to the execution. This ability requires that the analysis process foresees any possible runtime scenario. A task which is even more complex in the case of concurrent programs, because of the number of alternatives introduced by the usual nondeterminism. In this particular case, some of the most common faulty behaviors are those about erroneous usage of resources, presence of deadlocks and data race conflicts. Behavioral type systems for programming languages provide a strong mechanism for reasoning on programs actions at static time. In this the- sis we discuss two static analysis techniques based on this approach. The first one, targets the resource usage in an ad-hoc language with full-fledged operations for acquiring and releasing virtual machines. The second one, targets the deadlock analysis of Java programs. In both cases we provide a formal proof of correctness, along with pro- totype implementations that allow practically to test the feasibility of these solutions. These prototypes have also allowed assessing these techniques against others existing in the literature obtaining very encouraging results.
Document type :
Theses
Complete list of metadata

Cited literature [58 references]  Display  Hide  Download

https://hal.inria.fr/tel-01660749
Contributor : Laneve Cosimo <>
Submitted on : Monday, December 11, 2017 - 12:57:43 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM

File

PhD Thesis - Abel Garcia.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01660749, version 1

Collections

Citation

Abel Celestrín. Static analysis of concurrent programs based on behavioral type systems. Programming Languages [cs.PL]. University of Bologna, 2017. English. ⟨tel-01660749⟩

Share

Metrics

Record views

210

Files downloads

527