Výsledky vyhledávání - "Pratibha Permandla"

A type system for preventing data races and deadlocks in the java virtual machine language

Autor: Pratibha Permandla, Chandrasekhar Boyapati, Michael Roberson

Publikováno v: LCTES

In previous work on SafeJava we presented a type system extension to the Java source language that statically prevents data races and deadlocks in multithreaded programs. SafeJava is expressive enough to support common programming patterns, its type

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0e2c1ac9034c5623557b3e76108cabbe
https://doi.org/10.1145/1254766.1254768

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání