Author of the publication

On Automation of OTS/CafeOBJ Method.

, , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 578-602. 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

Relaxed models for rewriting logic.. Theor. Comput. Sci., 290 (1): 265-289 (2003)Automating Coinduction with Case Analysis., , and . ICFEM, volume 6447 of Lecture Notes in Computer Science, page 220-236. Springer, (2010)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)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)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)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)