Faves: Data flow analysis for checking properties of concurrent Java programs

Data flow analysis for checking properties of concurrent Java programs

Faved by sheckman

vote
4
Data flow analysis for checking properties of concurrent Java programs
sheckman | Shared With: Everyone - Aug 09 2007 | data flow analysis, static analysis, concurrency
1 FaverShareViewed: 3 TimesSend This!
You must be sheckman's friend before you can comment on this Fave.
Send sheckman a friend request or a personal message instead.

Related Faves from sheckman

vote
2
Data flow analysis for verifying properties of concurrent programs
sheckman | Shared With: Everyone - Aug 09 2007 | data flow analysis, static analysis, concurrency
ShareViewed: 1 TimeSend This!Permalink
vote
2
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
sheckman | Shared With: Everyone - Aug 09 2007 | data flow analysis, static analysis, concurrency
ShareViewed: 1 TimeSend This!Permalink

What is Faves?

Browse Faves to find the most popular web pages on any topic. Our community is finding new web sites every day.

Friends