Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

AOSD
2015
ACM

favoriteEmaildiscussreport

4views Software Engineering» more AOSD 2015»

Dynamic dispatch for method contracts through abstract predicates

8 years 20 days ago

Dynamic dispatch for method contracts through abstract predicates

Download www.lorentzcenter.nl

Wojciech Mostowski, Mattias Ulbrich

Real-time Traffic

AOSD 2015 | Software Engineering |

claim paper

Related Content

» Dynamic Symmetry Breaking by Simulating Zykov Contraction

» TypeChecking HigherOrder Polymorphic MultiMethods

» Behavioural Contracts for a Sound Assembly of Components

» SociallyAware PublishSubscribe System for Human Networks

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	AOSD
Authors	Wojciech Mostowski, Mattias Ulbrich

Comments (0)