Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Keywords: پیشرفت برنامه; Program development; Global analysis; Abstract interpretation; Debugging; Verification; Partial evaluation; Program transformation; Optimization; Parallelization; Resource control; Programming environments; Multi-Paradigm programming; (Constraint) Logic p