This repository is private.
All pages are served over SSL and all pushing and pulling is done over SSH.
No one may fork, clone, or view it unless they are added as a member.
Every repository with this icon (
) is private.
Every repository with this icon (
) is private.
This repository is public.
Anyone may fork, clone, or view it.
Every repository with this icon () is public.
Every repository with this icon (
) is public.
assume /
| name | age | message | |
|---|---|---|---|
 |
.gitignore | Loading commit data...  |
|
| |
README | ||
 |
doc/ | ||
| |
lang/ |
README
__ _ ___ ___ _ _ _ __ ___ ___
/ _` / __/ __|| | | | | '_ ` _ \ / _ \
| (_| \__ \__ \| |_| |_| | | | | | __/
\__,_|___/___(_)__,_(_)_| |_| |_|\___|
"Testing shows the presence, not the absence, of bugs."
-- Edsger W. Dijkstra
Goals
* Define formal method-style framework for high-level
programming languages (HLL).
* Define popular HLL in terms of this framework.
* Parse programs written in HLLs and validate against
language definition.
* Detect defective constructs.
* Ultimate analyze and improve large codebases written
in the C programming language.
References
* http://en.wikipedia.org/wiki/Formal_methods
* http://en.wikipedia.org/wiki/High_level_language
