Aspect-Oriented Programming in Higher-Order and Linear Logic [chapter]

Chuck C. Liang
2006 Lecture Notes in Computer Science  
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause Prolog provide 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.
doi:10.1007/978-3-540-69611-7_20 fatcat:qmm4i7o6n5gybfg65zkzy3yhce