Clara
Compile-time Approximation of Runtime Analyses
Overview
Documentation
Using Clara
Components, Features & Abstractions
Specifying typestate properties
Dependent Advice
Dependency State Machines
Clara-compatible Runtime Monitors
Hand-writing a Clara-compatible monitor
Generating a Clara-compatible monitor automatically
How to implement a typestate analysis
Existing analyses in Clara
Mailing List
Downloads
Benchmarks
Publications
Contact
test
Eric Bodden
| September 4, 2009
Categories
Uncategorized
Comments rss
Trackback
Leave a Reply
Click here to cancel reply.
Name (required)
Mail (will not be published) (required)
Website
