Title of article
Computing polynomial program invariants
Author/Authors
Markus Müller-Olm، نويسنده , , Helmut Seidl، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2004
Pages
12
From page
233
To page
244
Keywords
Abstract interpretation , Polynomial relation , Computable algebra , Program correctness , Program analysis
Journal title
Information Processing Letters
Serial Year
2004
Journal title
Information Processing Letters
Record number
129949
Link To Document