Author of the publication

Language Definitions as Rewrite Theories.

, , , , , and . WRLA, volume 8663 of Lecture Notes in Computer Science, page 97-112. Springer, (2014)

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.

 

Other publications of authors with the same name

Automating Coinduction with Case Analysis., , and . ICFEM, volume 6447 of Lecture Notes in Computer Science, page 220-236. Springer, (2010)Relaxed models for rewriting logic.. Theor. Comput. Sci., 290 (1): 265-289 (2003)Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification., and . FROM, volume 369 of EPTCS, page 1-16. (2022)Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models.. FROM, volume 389 of EPTCS, page 41-55. (2023)Operationally-based program equivalence proofs using LCTRSs., , and . J. Log. Algebraic Methods Program., (October 2023)Semantic Web Languages - Towards an Institutional Perspective., , and . Essays Dedicated to Joseph A. Goguen, volume 4060 of Lecture Notes in Computer Science, page 99-123. Springer, (2006)Unification in Matching Logic., and . FM, volume 11800 of Lecture Notes in Computer Science, page 502-518. Springer, (2019)Specification and Verification of Synchronizing Concurrent Objects., and . IFM, volume 2999 of Lecture Notes in Computer Science, page 307-327. Springer, (2004)Patterns for Maude Metalanguage Applications., , , , and . WRLA, volume 238 of Electronic Notes in Theoretical Computer Science, page 121-138. Elsevier, (2008)Path Directed Symbolic Execution in the K Framework., , and . SYNASC, page 133-141. IEEE Computer Society, (2010)