Även konventionella kompilatorer implementerar ett brett spektrum av optimeringstekniker, de missar ofta möjligheter att optimera användningen av abstraktioner, till stor del eftersom de inte är utformade för att känna igen och använda relevant semantisk information om sådana abstraktioner. I detta positionsdokument föreslår vi en uppsättning kommentarer för att hjälpa till att förmedla semantisk information på hög nivå om abstraktioner till kompilatorn, vilket gör det möjligt att tillämpa den stora mängden traditionella kompilatoroptimeringar på användningen av dessa abstraktioner. Våra kommentarer beskriver explicit egenskaper hos abstraktioner som behövs för att garantera tillämpligheten och lönsamheten av en bred variation av sådana optimeringar, inklusive memoization, omordning, datalayout transformationer, och inlineing och specialisering.
Enligt samma väg används i REF-anteckningar för att överföra semantisk information på hög nivå till kompilatorn, för att övervinna prestandaproblem till följd av användning av abstraktioner.
Annotating user-defined abstractions for optimization
{'venue': 'Proceedings 20th IEEE International Parallel & Distributed Processing Symposium', 'journal': 'Proceedings 20th IEEE International Parallel & Distributed Processing Symposium', 'mag_field_of_study': ['Computer Science']}