Towards Putting Abstract Interpretation of Prolog into Practice: Design, Impleme
64,25 €
Prolog uses an incomplete depth-first search rule, unifications and negations may be unsound, and there are extralogical features like the cut or dynamic predicates. The analyser is based on an original proposal that defines the notion of abstract sequence, which allows one to verify many desirable operational properties of a logic procedure.
Jetzt bei Ebay:
