( en | de | ru )

 

Disambiguation of "Yorsh, Greta"

Author of the publication

copydeleteadd this publication to your clipboard
A Logic of Reachable Patterns in Linked Data-Structures

, , , , and . CoRR, (2007)

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. You can also use the button next to the name to display some publications already assigned to the person.

Anneke Greta

Greta Marzolff

Greta Treibs

Greta Voß

Greta Bergmann

 

Other publications of authors with the same name

Inferring Synchronization under Limited Observability., , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 139-154. Springer, (2009)A Combination Method for Generating Interpolants., and . CADE, volume 3632 of Lecture Notes in Computer Science, page 353-368. Springer, (2005)Automatic assume/guarantee reasoning for heapmanupilating programs, , , and . 1st AIOOL Workshop, (2005)Unbounded superoptimization., and . Onward!, page 78-88. ACM, (2017)Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures., , , , , and . CADE, volume 3632 of Lecture Notes in Computer Science, page 99-115. Springer, (2005)PHALANX: parallel checking of expressive heap assertions., , and . ISMM, page 41-50. ACM, (2010)Symbolically Computing Most-Precise Abstract Operations for Shape Analysis., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 530-545. Springer, (2004)The Boundary Between Decidability and Undecidability for Transitive-Closure Logics., , , , and . CSL, volume 3210 of Lecture Notes in Computer Science, page 160-174. Springer, (2004)HAWKEYE: effective discovery of dataflow impediments to parallelization., , , and . OOPSLA, page 207-224. ACM, (2011)Abstraction-guided synthesis of synchronization., , and . POPL, page 327-338. ACM, (2010)