Controlling Polyvariance for Specialization-based Verification-Reference-Cited by-同舟云学术

Controlling Polyvariance for Specialization-based Verification

Author:

Fioravanti Fabio¹,Pettorossi Alberto²,Proietti Maurizio³,Senni Valerio⁴

Affiliation:

1. University of Chieti-Pescara, Viale Pindaro 42, 65127 Pescara, Italy. fioravanti@sci.unich.it

2. University of Rome Tor Vergata, Via del Politecnico 1, 00133 Rome, Italy. pettorossi@disp.uniroma2.it

3. IASI-CNR, Viale Manzoni 30, 00185 Rome, Italy. maurizio.proietti@iasi.cnr.it

4. IMT Institute for Advanced Studies Lucca, Piazza San Ponziano 6, 55100 Lucca, Italy. valerio.senni@imtlucca.it

Publisher

IOS Press

Subject

Computational Theory and Mathematics,Information Systems,Algebra and Number Theory,Theoretical Computer Science

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. An Experiment Combining Specialization with Abstract Interpretation;Electronic Proceedings in Theoretical Computer Science;2020-08-07

3. Anti-unification in Constraint Logic Programming;Theory and Practice of Logic Programming;2019-09

4. Polyvariant Program Specialisation with Property-based Abstraction;Electronic Proceedings in Theoretical Computer Science;2019-08-20