Analysis of Concurrent Programs [Pisa]
WS Presentations Main Page
Next: Analysis of Concurrent
Up: Document: achievements
Previous: Analysis/Transf. of Seq.
- State of the art prior to project:
- Based on all possible interleavings/complex domains.
- Achievements:
- Notion of approximation based on confluence.
Scheduling-independent analyses.
- Top down (operational) suspension analysis.
- Frameworks for compositional analysis of ccp:
- based on re-execution
- based on confluence (source to source program transformation
embeds full ccp into confluent ccp)
- Domain independent correct approximation
of ask guards.
- Shown that in general case no domain independent solution of
problem is available.
- For anti-monotonic properties a domain independent solution
exists that can be used to identify sure suspension.
- Suspension free cc programs can be mapped into CLP
progs. (ask approximation not needed, simpler, modular).
Thu Jan 18 11:30:54 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>