Map
Index
Random
Help
th

Quote: use Flanagan and Abadi's race-free type system to prove that Guava objects are never concurrently accessed

topics > all references > references a-b > QuoteRef: bacoDF10_2000 , p. 390



Topic:
flavor analysis and typestates for supplementary type checking
Topic:
safe use of pointers
Topic:
memory management by regions or memory pool
Topic:
race conditions
Topic:
function signature
Topic:
concurrent operations

Quotation Skeleton

We now formalize the type checking rules that … system of Flanagan and Abadi [CONCUR '99, ESOP '99]. A particularization … In Guava, every variable has a region type, … to Flanagan and Abadi's permissions and protection annotations. … [p. 392] These checking rules guarantee that whenever a … could become shared if another thread were to … to use a two-phase lock protocol in which …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: in Guava every variable has a region type and every method has a region type signature
Quote: read methods of Guava monitors can execute concurrently

Related Topics up

Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: safe use of pointers (102 items)
Topic: memory management by regions or memory pool (17 items)
Topic: race conditions (30 items)
Topic: function signature (21 items)
Topic: concurrent operations (22 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.