A. Poggi. Interface methods: a means for the integration of inheritance in a concurrent OOP language. Informatica, 20:125--134, 1996. 590, 597  Home/Search   Document Not in Database   Summary   Related Articles

....in localising re implementation for this example, but none succeed in localising changes to the hierarchy and preserving re usability. Furthermore, many proposals deteriorate considerably when handling more complicated cases involving constraints that depend on the history of invocations (e.g. [27]) The example of HistoryBu# was introduced in [23] as a separate type of anomaly the history sensitive anomaly, while LockableBu# was named state modification anomaly. In this paper both, LockableBu# and HistoryBu# are captured by Definition 11. Intuitively, these two examples can be seen as ....

....some similarity to the mechanism of method guards. concurrency and the functionality code. The proposals should also be compared with respect to e#ciency. language inheritance behaviour implementation inheritance anomaly mechanism preserving independent Types f Types R Types T internal CUBL [27] GUARDS Yes KEYS Yes No No ACT [17] ACCEPT SETS Yes No No No No Types f ROSETTE [30] ACCEPT SETS Yes No No No No Types f DEMETER [20] GUARDS Yes KEYS Yes LOC R LOC R Types f MAUDE [25] PATTERNS Yes No Yes No No Types f MAUDE [18] PATTERNS Yes No Yes LOC R LOC R Types f [ 26] GUARDS SETS ....

A. Poggi. Interface methods: a means for the integration of inheritance in a concurrent OOP language. Informatica, 20:125--134, 1996. 590, 597

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC