Found 11 Documents (Results 1–11)
Symbolic specialization of rewriting logic theories with Presto. (English) Zbl 1530.68130
MSC:
68Q42
Anti-unification in constraint logic programming. (English) Zbl 1434.68076
MSC:
68N17
Solving Horn clauses on inductive data types without induction. (English) Zbl 1451.68172
Theory Pract. Log. Program. 18, No. 3-4, 452-469 (2018); erratum ibid. 19, No. 4, 629 (2019).
Proving correctness of imperative programs by linearizing constrained Horn clauses. (English) Zbl 1379.68093
Speedup of logic programs by binarization and partial deduction. (English) Zbl 1093.68557
MSC:
68N17
Filter Results by …
all
top 5
Author
- De Angelis, Emanuele (4)
- Fioravanti, Fabio (4)
- Pettorossi, Alberto (4)
- Proietti, Maurizio (4)
- Alpuente, María (2)
- Bruynooghe, Maurice (2)
- Leuschel, Michael (2)
- Vanhoof, Wim (2)
- Vidal, Germán (2)
- Ballis, Demis (1)
- Escobar, Santiago (1)
- Gallagher, John P. (1)
- Hanus, Michael (1)
- Hermenegildo, Manuel V. (1)
- Hrůza, Jan (1)
- Jørgensen, Jesper (1)
- Lucas, Salvador (1)
- Sapiña, Julia (1)
- Silva, Josep (1)
- Yernaux, Gonzague (1)
all
top 5
Volume
- 22, No. 6 (2022) (1)
- 22, No. 3 (2022) (1)
- 19, No. 5-6 (2019) (1)
- 18, No. 3-4 (2018) (1)
- 18, No. 2 (2018) (1)
- 15, No. 4-5 (2015) (1)
- 7, No. 1-2 (2007) (1)
- 5, No. 3 (2005) (1)
- 4, No. 3 (2004) (1)
- 4, No. 1-2 (2004) (1)
- 2, No. 4-5 (2002) (1)
all
top 3
Software
- ECCE (11)
- LOGEN (3)
- z3 (3)
- BABEL (2)
- DPPD (2)
- MathSAT5 (2)
- Mercury (2)
- PPL (2)
- TOY (2)
- TRACER (2)
- VeriMAP (2)
- ARMC (1)
- ATGen (1)
- ATLAS (1)
- Apron (1)
- Boogie (1)
- Boolector (1)
- CVC4 (1)
- Ciao (1)
- CiaoPP (1)
- CoVaC (1)
- Coq (1)
- DART (1)
- Eiffel (1)
- Hat (1)
- Isabelle/HOL (1)
- JML (1)
- JayHorn (1)
- K Prover (1)
- K tool (1)
- MTT (1)
- Maude (1)
- Maude-NPA (1)
- NRL (1)
- Narval (1)
- OCaml (1)
- PRISM (1)
- ProVerif (1)
- ProbLog (1)
- PrologCheck (1)
- QuickCheck (1)
- RAHFT (1)
- SMT-LIB (1)
- SeaHorn (1)
- Spacer (1)
- TAMARIN (1)
- Why3 (1)
- WhyML (1)
- Yices (1)
- eThor (1)