Aspect-Oriented Programming in Higher-Order and Linear Logic

Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Definite clauses that pertain to a common aspect, and which crosscut other program components, can be encapsulated using the connectives of higher-order intuitionistic logic. The integration or weaving of program fragments can be formulated using normalized forms of proof search in linear logic.

• Type: Conference
• Year: 2007
• Where: PADL
• Authors: Chuck C. Liang
• Keywords: Aspect-oriented Programming, Logic Programming, PADL 2007, Programming Languages, Richer Abstraction