Opam Package symkat.1.4

Package info

opam-namesymkat
opam-version1.4
synopsisSymbolic Algorithms for Kleene algebra with Tests (KAT)
description This OCaml library contains several constructions for Kleene algebra with tests (KAT), that produce symbolic automata out of KAT expressions, which can then be checked for equivalence using the symbolic algorithms provided in the SAFA library. These constructions are described in the following paper, in Proc. POPL'15 ; http://doi.acm.org/10.1145/2676726.2677007 https://hal.archives-ouvertes.fr/hal-01021497v2/document
authors
  • Damien Pous <Damien.Pous@ens-lyon.fr>
homepagehttp://perso.ens-lyon.fr/damien.pous/symkat/
licenseLGPL-3.0-only
deps (4)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

symkat

Package files

lib/symkat/symkat.o
lib/symkat/symkat.cmxa
lib/symkat/symkat.cmx
lib/symkat/symkat.cmo
lib/symkat/symkat.cmi
lib/symkat/symkat.cma
lib/symkat/symkat.a
lib/symkat/parser.o
lib/symkat/parser.cmx
lib/symkat/parser.cmo
lib/symkat/parser.cmi
lib/symkat/parse.o
lib/symkat/parse.cmx
lib/symkat/parse.cmo
lib/symkat/parse.cmi
lib/symkat/lexer.o
lib/symkat/lexer.cmx
lib/symkat/lexer.cmo
lib/symkat/lexer.cmi
lib/symkat/kat.o
lib/symkat/kat.cmx
lib/symkat/kat.cmo
lib/symkat/kat.cmi
lib/symkat/ilieYu.o
lib/symkat/ilieYu.cmx
lib/symkat/ilieYu.cmo
lib/symkat/ilieYu.cmi
lib/symkat/hypotheses.o
lib/symkat/hypotheses.cmx
lib/symkat/hypotheses.cmo
lib/symkat/hypotheses.cmi
lib/symkat/brzozowski.o
lib/symkat/brzozowski.cmx
lib/symkat/brzozowski.cmo
lib/symkat/brzozowski.cmi
lib/symkat/antimirov.o
lib/symkat/antimirov.cmx
lib/symkat/antimirov.cmo
lib/symkat/antimirov.cmi
lib/symkat/META
lib/symkat
bin/symkat