Carregant...

Carregant...

FUTUR. Portal de la Producció Científica dels Investigadors de la UPC

Automatic generation of polynomial invariants of bounded degree using abstract interpretation

Autor: Rodriguez, E.; Kapur, D.

Tipus d'activitat: Article en revista
Revista: Science of computer programming
Data de publicació: 2007-01
Volum: 64
Número: 1
Pàgina inicial: 54
Pàgina final: 75
DOI: https://doi.org/10.1016/j.scico.2006.03.003

URL: http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V17-4M0J4BD-1&_user=1517299&_coverDate=01%2F01%2F2007&_rdoc=1&_fmt=high&_orig=gateway&_origin=gateway&_sort=d&_docanchor=&view=c&_acct=C000053450&_version=1&_urlVersion=0&_userid=1517299&md5=42451da26d422b47842cf9f95bcc4556&searchtype=a

Grup de recerca: LOGPROG - Lògica i Programació

Participants

Rodríguez Carbonell, Enric (autor)
Kapur, D (autor)