Common sense Defined Static Prognosis.
Language
Speedily-prototyping for your diagnosis concerns with logic; enabling deep originate-rental explorations; designed for good-scale static diagnosis; e.g., aspects-to diagnosis for Java, taint-diagnosis, security checks.
Synthesis of Common sense
Futamura projections/partial evaluate for efficient translation to parallel C++; optimized staged compilation; surely expert files-constructions for logical family.
Are trying it out
