User:Realazthat/Projects wishlist/LLVM/Formal methods: Difference between revisions
Content added Content deleted
Line 46: | Line 46: | ||
* [[wp:Constraint_programming]] |
* [[wp:Constraint_programming]] |
||
*: How does this relate? |
*: How does this relate? |
||
== Further reading == |
|||
Read this stuff: |
|||
* http://www.csci.csusb.edu/dick/papers/rjb93a.xbnf.html |
|||
===Implementation methods=== |
===Implementation methods=== |