( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.

, , , , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 171-181. Springer, (2019)

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.

Anja Ballis

Klaus Demisch

Reinhard Demisch

Sibylle Demisch

Tamene Adugna Demissie

 

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

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne., , , и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 121-124. Springer, (2013)Inferring Safe Maude Programs with ÁTAME., , и . ICMS, том 10931 из Lecture Notes in Computer Science, стр. 1-10. Springer, (2018)Static correction of Maude programs with assertions., , и . J. Syst. Softw., (2019)Rule-based verification of Web sites., , и . Int. J. Softw. Tools Technol. Transf., 8 (6): 565-585 (2006)Foreword., и . J. Symb. Comput., 46 (2): 93-94 (2011)Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)., , , и . Specification, Algebra, and Software, том 8373 из Lecture Notes in Computer Science, стр. 229-255. Springer, (2014)Optimizing Maude Programs via Program Specialization., , , , и . Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, том 13160 из Lecture Notes in Computer Science, стр. 21-50. Springer, (2023)Parametric Exploration of Rewriting Logic Computations., , , и . SCSS, том 15 из EPiC Series in Computing, стр. 4-18. EasyChair, (2013)Backward Trace Slicing for Rewriting Logic Theories., , , и . CADE, том 6803 из Lecture Notes in Computer Science, стр. 34-48. Springer, (2011)Transformation and Debugging of Functional Logic Programs., , и . 25 Years GULP, том 6125 из Lecture Notes in Computer Science, Springer, (2010)