مرکز منطقه ای اطلاع رساني علوم و فناوري - Abstracting numeric constraints with Boolean functions

Title of article :

Abstracting numeric constraints with Boolean functions

Author/Authors :

Jacob M. Howe، نويسنده , , Andy King، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2000

Pages :

From page :

To page :

Keywords :

Compilers , Constraint programming , abstract interpretation

Journal title :

Information Processing Letters

Serial Year :

2000

Journal title :

Information Processing Letters

Record number :

129239

Link To Document :