Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
leon [2015/02/05 10:44] vkuncak |
leon [2015/04/26 20:36] vkuncak |
||
---|---|---|---|
Line 13: | Line 13: | ||
**[[https://github.com/epfl-lara/leon]]** | **[[https://github.com/epfl-lara/leon]]** | ||
+ | The github repository contains the **documentation** that can be built in various formats, including in particular HTML. A snapshot of this documentation is also available from http://leon.epfl.ch, check http://leon.epfl.ch/doc/ . (The rest of this page may be largely subsumed by that documentation.) | ||
- | To get an overview, check out these papers: | + | ---- |
+ | |||
+ | To get an overview of Leon, check out these papers: | ||
* [[http://lara.epfl.ch/~kuncak/papers/SuterETAL11SatisfiabilityModuloRecursivePrograms.pdf|Satisfiability Modulo Recursive Programs]], by P. Suter, A.S. Köksal, V. Kuncak, Static Analysis Symposium (SAS), 2011 | * [[http://lara.epfl.ch/~kuncak/papers/SuterETAL11SatisfiabilityModuloRecursivePrograms.pdf|Satisfiability Modulo Recursive Programs]], by P. Suter, A.S. Köksal, V. Kuncak, Static Analysis Symposium (SAS), 2011 | ||
* [[http://lara.epfl.ch/~kuncak/papers/SuterETAL10DecisionProceduresforAlgebraicDataTypesAbstractions.pdf|Decision Procedures for Algebraic Data Types with Abstractions]], by P. Suter, M. Dotta, V. Kuncak. Principles of Programming Languages (POPL), 2010 | * [[http://lara.epfl.ch/~kuncak/papers/SuterETAL10DecisionProceduresforAlgebraicDataTypesAbstractions.pdf|Decision Procedures for Algebraic Data Types with Abstractions]], by P. Suter, M. Dotta, V. Kuncak. Principles of Programming Languages (POPL), 2010 |