Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Welsch, Yannick"'
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries
Publikováno v:
In Science of Computer Programming 15 October 2014 92 Part B:129-161
Autor:
Welsch, Yannick
Backward compatibility of class libraries ensures that an old implementation of a library can safely be replaced by a new implementation without breaking existing clients. Formal reasoning about backward compatibility requires an adequate semantic mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1bed2b51811d2a2b17e8d86dd128d35f
https://kluedo.ub.rptu.de/frontdoor/index/index/docId/3660
https://kluedo.ub.rptu.de/frontdoor/index/index/docId/3660
Publikováno v:
Aliasing in Object-Oriented Programming. Types, Analysis & Verification; 2013, p471-500, 30p
Publikováno v:
Proceedings of the 27th Annual ACM Symposium Applied Computing; 3/26/2012, p1737-1742, 6p
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation. Technologies for Mastering Change; 2012, p97-111, 15p
Autor:
Lienhardt, Michaël, Lanese, Ivan, Bravetti, Mario, Sangiorgi, Davide, Zavattaro, Gianluigi, Welsch, Yannick, Schäfer, Jan, Poetzsch-Heffter, Arnd
Publikováno v:
Formal Methods for Components & Objects (9783642252709); 2012, p165-183, 19p
Autor:
Herold, Sebastian, Klus, Holger, Welsch, Yannick, Deiters, Constanze, Rausch, Andreas, Reussner, Ralf, Krogmann, Klaus, Koziolek, Heiko, Mirandola, Raffaela, Hummel, Benjamin, Meisinger, Michael, Pfaller, Christian
Publikováno v:
Common Component Modeling Example; 2008, p16-53, 38p
Autor:
Welsch, Yannick
Publikováno v:
Companion to the 23rd ACM SIGPLAN Conference: Object-oriented Programming Systems Languages & Applications; 10/19/2008, p913-914, 2p