An Aspect Language for Robust Programming
Pascal Fradet, Mario Südholt · 1999
this paper because robustness is particularly important in this #eld. The robustness aspect should be extended to be able to express directives on the other data types. If booleans are a trivial extension, a proper treatmentofpointer-based data structures implies the integration of an alias #or points-to# analysis. Second, we are investigating the application of the generic framework to other aspects, in particular a debugging and a security aspect. The former should allow the de#nition of debugging properties such as #trace the value of variable x in procedure p as soon as y becomes null". A #rst approach to the latter is the integration of resource-based securityschemes such as #deny access to I#O port 123 from processes belonging to process group pg".