Abstrakt. Vi studerar begreppet bindningstidsanalys för logiska program. Vi formaliserar utvecklingen av ett partiellt avdragssystem på nätet som ett prologprogram. Med hjälp av abstrakt tolkning samlar vi in information om programmets run-time-beteende. Vi använder denna information för att fatta kontrollbeslut om utvecklingen vid analystidpunkten och för att omvandla on-line-systemet till ett offline-system. Vi rapporterar om några inledande experiment.
Såvitt vi vet är den första bindningsanalysen för logikprogrammering REF.
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}