Re: on the need for formalization
Pascal Costanza <[email protected]>
| Newsgroups | gmane.comp.programming.aspect.general |
|---|---|
| Message-ID | <[email protected]> |
There is a workshop series on formal approaches for AOP, called FOAL, where you will probably find plenty of papers with that or similar claims. Pascal On 30 Nov 2006, at 10:06, SainTiss wrote: > Hi all, > > I'm looking for papers supporting the claim that: > > "There is a need for a precise an elegant way to express AOP language > constructs in terms of an underlying execution model". > > In other words, it would be useful to have an elegant and precise > formalism > which makes it easy to express e.g. the semantics of cflow. Easier, > for > example, than implementing it in Java (or its VM). > > Do people on this list support this claim, and if so, has there > been any work > in the past pointing out such need? > > Thanks in advance, > > Kind Regards, > > Hans > > -- > A liberal is a person whose interests aren't at stake at the moment > -- Willis Player > > Hans Schippers > Research Assistant of the Research Foundation - Flanders (FWO - > Vlaanderen) > http://www.win.ua.ac.be/~hschipp/ > Formal Techniques in Software Engineering (FoTS) > University of Antwerp > Middelheimlaan 1 > 2020 Antwerpen - Belgium > Phone: +32 3 265 38 71 > Fax: +32 3 265 37 77 > > _______________________________________________ > discuss mailing list - [email protected] > > To unsubscribe and change options, go to: > http://aosd.net/mailman/listinfo/discuss_aosd.net > > Check out the AOSD.net Wiki: http://aosd.net/wiki -- Pascal Costanza, mailto:[email protected], http://p-cos.net Vrije Universiteit Brussel, Programming Technology Lab Pleinlaan 2, B-1050 Brussel, Belgium _______________________________________________ discuss mailing list - [email protected] To unsubscribe and change options, go to: http://aosd.net/mailman/listinfo/discuss_aosd.net Check out the AOSD.net Wiki: http://aosd.net/wiki