( en | de | ru )

 

Disambiguation of "Morris, Karla"

Author of the publication

copydeleteadd this publication to your clipboard
On the object-oriented design of reference-counted shadow objects.

, , and . SE-CSE@ICSE, page 19-27. ACM, (2011)

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.

Grammatiki Karla

Wolfgang Karlas

Wolfgang Fritz Karla

Annette Karla

Anna Karla

 

Other publications of authors with the same name

Formal constraints on memory management for composite overloaded operations., , and . Sci. Program., 14 (1): 27-40 (2006)Formal verification and validation of run-to-completion style state charts using Event-B., , , , , and . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)Q: A Sound Verification Framework for Statecharts and Their Implementations., , , , , , , and . FTSCS, page 16-26. ACM, (2022)On the object-oriented design of reference-counted shadow objects., , and . SE-CSE@ICSE, page 19-27. ACM, (2011)Using Coarrays to Parallelize Legacy Fortran Applications: Strategy and Case Study., , , , and . Sci. Program., (2015)Emulating Multiple Inheritance in Fortran 2003/2008.. Sci. Program., (2015)Dynamic Memory De-allocation in Fortran 95/2003 derived type calculus., , and . Sci. Program., 13 (3): 189-203 (2005)Discovering Metamorphic Relations for Scientific Software From User Forums., , , , , and . Comput. Sci. Eng., 23 (2): 65-72 (2021)Refinement of Statecharts with Run-to-Completion Semantics., , , , and . FTSCS, volume 1008 of Communications in Computer and Information Science, page 121-138. Springer, (2018)Fault Resilient Domain Decomposition Preconditioner for PDEs., , , , , , , , and . SIAM J. Sci. Comput., (2015)