Detail aplikovaného výsledku

SPEN - A Solver for Separation Logic Entailments

LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M.

Originální název

SPEN - A Solver for Separation Logic Entailments

Anglický název

SPEN - A Solver for Separation Logic Entailments

Druh

Software

Abstrakt

This program provides an implementation of a decision procedure for a fragment of separation logic proposed in the paper: 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.

Abstrakt aglicky

This program provides an implementation of a decision procedure for a fragment of separation logic proposed in the paper: 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.

Klíčová slova

program verification, decision procedures, separation logic, tree automata

Klíčová slova anglicky

program verification, decision procedures, separation logic, tree automata

Umístění

http://www.liafa.univ-paris-diderot.fr/spen/

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www

http://www.liafa.univ-paris-diderot.fr/spen/