Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Software Synthesis, SAT Solving"'
In this paper, we present an approach to automatically syn- thesize synchronization code for distributed programs assuming a multi- thread shared-variables model of computation, common in object-oriented programming languages like JAVA. Our method co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb848973d605030882c6a8e58bdd3cee
In this paper, we present an approach to automatically syn- thesize synchronization code for distributed programs assuming a multi- thread shared-variables model of computation, common in object-oriented programming languages like JAVA. Our method co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d0d72d5458b13fb705298f073483e53