Abstrakt. Avslutningsanalysen har fått stor uppmärksamhet, traditionellt i samband med deklarativ programmering, och på senare tid även i fråga om tvingande språk. I befintliga tillvägagångssätt, avslutas på källkodsprogram. Det finns dock många situationer, inklusive mobilkod, där endast den sammanställda koden finns tillgänglig. I detta arbete presenterar vi en automatisk avslutningsanalys för sekventiella Java Bytecode-program. En sådan analys presenterar alla utmaningar med att analysera ett språk på låg nivå och de som introduceras av objektorienterade språk. Det är intressant att lägga märke till att vi, med tanke på ett bytekodsprogram, producerar ett begränsande logiskt program, CLP, vars upphörande innebär att bytekodsprogrammet avslutas. Detta gör det möjligt att tillämpa den stora kroppen av arbete vid avslutande av CLP-program till avslutande av Java bytecode. En prototypanalysator beskrivs och inledande experiment rapporteras.
Dessutom, efter den idé som ursprungligen föreslogs i REF, Julia producerar restriktion logik program vars uppsägning innebär att den ursprungliga bytekod.
Termination analysis of Java Bytecode
{'venue': 'In Proc. of the International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS ’08). Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}