I detta papper analyserar vi komplexiteten i att kontrollera säkerhets- och termineringsegenskaper, för en mycket enkel, men ändå icke-trivial, klass av program med en enda länkad lista datastrukturer. Eftersom program med listor i allmänhet är kända för att ha kraften i Turing maskiner, begränsar vi kontrollstrukturen, genom att förbjuda nästintill loopar och destruktiva uppdateringar. Överraskande, även med dessa förenklade villkor, kontrollera säkerhet och uppsägning för program som arbetar på högar med mer än en cykel är obeslutbara, medan decisionability kan fastställas när indata högen kan ha högst en slinga. Bevisen för både obeslutbarhet och definibilitet är beroende av icke-triviala tal-teoretiska resultat.
Det negativa resultatet i REF håller för en mycket begränsad klass av program: program med endast icke-nested slingor som inte ändrar listans datastruktur.
On flat programs with lists
{'venue': 'In Proc. of VMCAI, volume 4349 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}