SPEN - Rozhodovací procedura pro separační logiku

Autoři:Enea Constantin, Lengál Ondřej, Sighireanu Mihaela, Vojnar Tomáš
Typ:software
Vznik:2014
Licence:vyžadována - zdarma
Klíčová slova:
program verification, decision procedures, separation logic, tree automata
Popis:
Tento program obsahuje implementaci rozhodovací procedury pro fragment separační logiky navrženou ve článku: C. Enea, O. Lengal, M. Sighireanu, and T. Vojnar. Compositional Entailment Checking for a Fragment of Separation Logic. In Proc. of 12th Asian Symposium on Programming Languages and Systems---APLAS'14, Singapore, 2014, volume 8858 of LNCS, pages 314--333, 2014. Springer-Verlag.
Umístění:
http://www.liafa.univ-paris-diderot.fr/spen/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Vaše IPv4 adresa: 54.224.91.246
Přepnout na IPv6 spojení

DNSSEC [dnssec]