Faves: A Static Analysis of CSP Programs

A Static Analysis of CSP Programs

Faved by sheckman

vote
1
A Static Analysis of CSP Programs
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency, cps
1 FaverShareSend 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
4
A general-purpose algorithm for analyzing concurrent programs
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency
ShareViewed: 3 TimesSend This!Permalink
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
ShareViewed: 3 TimesSend This!Permalink
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
vote
2
ScienceDirect - Science of Computer Programming : Observations on the assured evolution of concurrent Java programs
sheckman | Shared With: Everyone - Aug 09 2007 | java, concurrency, static analysis
ShareViewed: 1 TimeSend This!Permalink
vote
1
The code of many colors
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency
ShareSend This!Permalink
vote
1
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, eclipse, concurrency
ShareSend This!Permalink
vote
2
A practical algorithm for static analysis of parallel programs
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency
ShareViewed: 1 TimeSend This!Permalink
vote
2
A generic approach to the static analysis of concurrent programs with procedures
sheckman | Shared With: Everyone - Aug 09 2007 | 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