Enquire Now

Tags: prolog-abstract-interpretation

Use this tag when Prolog is used to create an abstract interpreter. Do not use this tag if for a Prolog meta-interpreter or for the similarly named tag abstract interpreter.

0 Questions