Abstrakt. I aspektorienterad programmering används punktsnitt för att beskriva tvärgående struktur. Pointcuts som abstrakt över irrelevanta genomförande detaljer är tydligt önskvärt att bättre stödja underhållbarhet och modulära resonemang. Vi lägger fram en analys som visar att de aktuella pointcut-språken stöder lokaliseringen av övergripande problem men är problematiska när det gäller att dölja information. För att klara av problemet presenterar vi ett pointcut-språk som utnyttjar information från olika modeller av programsemantik, såsom exekveringsspåret, syntaxträdet, högen, statiska typsystem, etc., och stöder abstraktionsmekanismer som liknar funktionell abstraktion. Vi visar hur detta höjer abstraktionsnivån och modulariteten hos punktskärningar och presenterar de första stegen mot ett effektivt genomförande med hjälp av en statisk analysteknik.
Alpha är en annan logik baserad pointcut språk som stöder resonemang om olika modeller av program semantik, inklusive utförande spår och hög tillstånd REF.
Expressive pointcuts for increased modularity
{'venue': 'ECOOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}