Found 5 Documents (Results 1–5)
Maximally-polyvariant partial evaluation in polynomial time. (English) Zbl 1461.68055
Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9609, 130-148 (2016).
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (1)
all
top 5
Author
- Bulyonkov, Mikhail A. (1)
- Chawdhary, Aziem (1)
- De Angelis, Emanuele (1)
- Fioravanti, Fabio (1)
- Gallagher, John P. (1)
- Glück, Robert (1)
- Hermenegildo, Manuel V. (1)
- King, Andy (1)
- Pettorossi, Alberto (1)
- Proietti, Maurizio (1)
- Sestoft, Peter (1)
- Singh, Ranjeet K. (1)
- Zamulin, Aleksandr Vasil’evich (1)
Serial
all
top 3
Software
- Refal (2)
- ALGOL 60 (1)
- ATGen (1)
- Apron (1)
- Boogie (1)
- Boolector (1)
- CVC4 (1)
- Ciao (1)
- CiaoPP (1)
- CoVaC (1)
- Coq (1)
- Cyclist (1)
- DART (1)
- ECCE (1)
- Eiffel (1)
- Isabelle/HOL (1)
- JML (1)
- JayHorn (1)
- Jimple (1)
- K Prover (1)
- K tool (1)
- LOGEN (1)
- MathSAT5 (1)
- OCaml (1)
- PPL (1)
- PRISM (1)
- ProVerif (1)
- ProbLog (1)
- PrologCheck (1)
- QuickCheck (1)
- RAHFT (1)
- SMT-LIB (1)
- SeaHorn (1)
- Soot (1)
- Spacer (1)
- TRACER (1)
- VeriMAP (1)
- WSDFU (1)
- Why3 (1)
- WhyML (1)
- Yices (1)
- eThor (1)
- z3 (1)