Vi presenterar FunTAL, det första flerspråkssystemet för att formalisera säker driftskompatibilitet mellan ett funktionellt språk på hög nivå och monteringskoden på låg nivå och samtidigt stödja kompositionstänkande om mixen. En central utmaning när det gäller att utveckla ett sådant flerspråkigt språk är att överbrygga klyftan mellan monteringen, som iscensätts i hopp till fortsättningar, och hög nivå kod, där subtermer returnerar ett resultat. Vi presenterar en kompositionell stack-baserade maskinskrivna monteringsspråk som stöder komponenter, som består av en eller flera grundläggande block, som kan vara inbäddade i hög nivå sammanhang. Vi presenterar också en logisk relation för FunTAL som stöder resonemang om likvärdighet av hög nivå komponenter och deras monteringsersättningar, blandade språkprogram med callbacks mellan språk, och monteringskomponenter som består av olika antal grundläggande block.
FunTAL REF ] är ett annat system som stödjer samverkan mellan monteringsspråk och kod på högre nivå.
FunTAL: Reasonably Mixing a Functional Language with Assembly
{'venue': None, 'journal': 'arXiv: Programming Languages', 'mag_field_of_study': ['Computer Science']}