( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lazy Behavioral Subtyping.

, , , и . FM, том 5014 из Lecture Notes in Computer Science, стр. 52-67. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Johan Verink

Johan Setianto

Johan Waern

Johan Schloemann

Johan Setianto

 

Другие публикации лиц с тем же именем

Verification of Concurrent Objects with Asynchronous Method Calls., , и . SwSTE, стр. 141-150. IEEE Computer Society, (2005)Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects., , и . FInCo@ETAPS, том 203 из Electronic Notes in Theoretical Computer Science, стр. 19-34. Elsevier, (2007)Lazy behavioral subtyping., , , и . J. Log. Algebraic Methods Program., 79 (7): 578-607 (2010)Enforcing behavioral constraints in evolving aspect-oriented programs., , и . FOAL, стр. 19-28. ACM, (2008)Incremental Reasoning for Multiple Inheritance., , , и . IFM, том 5423 из Lecture Notes in Computer Science, стр. 215-230. Springer, (2009)A proof system for adaptable class hierarchies., , , и . J. Log. Algebraic Methods Program., 84 (1): 37-53 (2015)Lazy Behavioral Subtyping., , , и . FM, том 5014 из Lecture Notes in Computer Science, стр. 52-67. Springer, (2008)Tracking Behavioral Constraints during Object-Oriented Software Evolution., , и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 253-268. Springer, (2012)Compositional Reasoning about Shared Futures., , и . SEFM, том 7504 из Lecture Notes in Computer Science, стр. 94-108. Springer, (2012)