Li, Liyi; Gunter, Elsa L. A complete semantics of \(\mathbb{K}\) and its translation to Isabelle. (English) Zbl 07500643 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 152-171 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{L. Li} and \textit{E. L. Gunter}, Lect. Notes Comput. Sci. 12819, 152--171 (2021; Zbl 07500643) Full Text: DOI OpenURL
Cirstea, Horatiu; Lermusiaux, Pierre; Moreau, Pierre-Etienne Pattern eliminating transformations. (English) Zbl 07496642 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 74-92 (2021). MSC: 68N30 PDF BibTeX XML Cite \textit{H. Cirstea} et al., Lect. Notes Comput. Sci. 12561, 74--92 (2021; Zbl 07496642) Full Text: DOI OpenURL
Zimmermann, Wolf; Weißbach, Mandy A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines. (English) Zbl 07495067 Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 326-352 (2021). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{W. Zimmermann} and \textit{M. Weißbach}, Lect. Notes Comput. Sci. 12750, 326--352 (2021; Zbl 07495067) Full Text: DOI OpenURL
Klumpp, Dominik; Lenzen, Philip \( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages. (English) Zbl 07415135 Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 98-119 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Klumpp} and \textit{P. Lenzen}, Lect. Notes Comput. Sci. 12669, 98--119 (2021; Zbl 07415135) Full Text: DOI OpenURL
Hóu, Zhé; Sanan, David; Tiu, Alwen; Liu, Yang; Hoa, Koh Chuen; Dong, Jin Song An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model. (English) Zbl 07356982 J. Autom. Reasoning 65, No. 4, 569-598 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{Z. Hóu} et al., J. Autom. Reasoning 65, No. 4, 569--598 (2021; Zbl 07356982) Full Text: DOI OpenURL
Mourad, Benjamin; Cimini, Matteo System description: lang-n-change – a tool for transforming languages. (English) Zbl 07368092 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 198-214 (2020). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 198--214 (2020; Zbl 07368092) Full Text: DOI OpenURL
Cimini, Matteo On the effectiveness of higher-order logic programming in language-oriented programming. (English) Zbl 07368087 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 106-123 (2020). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 106--123 (2020; Zbl 07368087) Full Text: DOI OpenURL
Mourad, Benjamin; Cimini, Matteo A calculus for language transformations. (English) Zbl 07223121 Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 547-555 (2020). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12011, 547--555 (2020; Zbl 07223121) Full Text: DOI arXiv OpenURL
Johansen, Christian; Owe, Olaf Dynamic structural operational semantics. (English) Zbl 1431.68061 J. Log. Algebr. Methods Program. 107, 79-107 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{C. Johansen} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 107, 79--107 (2019; Zbl 1431.68061) Full Text: DOI arXiv OpenURL
van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil Executable component-based semantics. (English) Zbl 1417.68095 J. Log. Algebr. Methods Program. 103, 184-212 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{L. T. van Binsbergen} et al., J. Log. Algebr. Methods Program. 103, 184--212 (2019; Zbl 1417.68095) Full Text: DOI Link OpenURL
Fava, Daniel S.; Steffen, Martin; Stolz, Volker Operational semantics of a weak memory model with channel synchronization. (English) Zbl 1417.68093 J. Log. Algebr. Methods Program. 103, 1-30 (2019). MSC: 68Q55 PDF BibTeX XML Cite \textit{D. S. Fava} et al., J. Log. Algebr. Methods Program. 103, 1--30 (2019; Zbl 1417.68093) Full Text: DOI Link OpenURL
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker Operational semantics of a weak memory model with channel synchronization. (English) Zbl 1460.68027 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 258-276 (2018). MSC: 68N30 68N15 68N20 68Q55 PDF BibTeX XML Cite \textit{D. S. Fava} et al., Lect. Notes Comput. Sci. 10951, 258--276 (2018; Zbl 1460.68027) Full Text: DOI Link OpenURL
Lochbihler, Andreas Mechanising a type-safe model of multithreaded Java with a verified compiler. (English) Zbl 1451.68178 J. Autom. Reasoning 61, No. 1-4, 243-332 (2018). MSC: 68Q60 68N15 68N20 68Q55 68V15 PDF BibTeX XML Cite \textit{A. Lochbihler}, J. Autom. Reasoning 61, No. 1--4, 243--332 (2018; Zbl 1451.68178) Full Text: DOI OpenURL
Biernacka, Małgorzata; Charatonik, Witold; Zielińska, Klara Generalized refocusing: from hybrid strategies to abstract machines. (English) Zbl 1441.68131 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 10, 17 p. (2017). MSC: 68Q60 68Q55 68V15 PDF BibTeX XML Cite \textit{M. Biernacka} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 10, 17 p. (2017; Zbl 1441.68131) Full Text: DOI OpenURL
Cheney, James; Momigliano, Alberto \(\alpha\mathrm{Check}\): a mechanized metatheory model checker. (English) Zbl 1379.68236 Theory Pract. Log. Program. 17, No. 3, 311-352 (2017). MSC: 68Q60 03B70 68T15 PDF BibTeX XML Cite \textit{J. Cheney} and \textit{A. Momigliano}, Theory Pract. Log. Program. 17, No. 3, 311--352 (2017; Zbl 1379.68236) Full Text: DOI arXiv OpenURL
Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo Formal methods for web security. (English) Zbl 1359.68021 J. Log. Algebr. Methods Program. 87, 110-126 (2017). MSC: 68M11 68-02 PDF BibTeX XML Cite \textit{M. Bugliesi} et al., J. Log. Algebr. Methods Program. 87, 110--126 (2017; Zbl 1359.68021) Full Text: DOI OpenURL
Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei A generic framework for symbolic execution: a coinductive approach. (English) Zbl 1356.68044 J. Symb. Comput. 80, Part 1, 125-163 (2017). MSC: 68N30 68Q55 68W30 PDF BibTeX XML Cite \textit{D. Lucanu} et al., J. Symb. Comput. 80, Part 1, 125--163 (2017; Zbl 1356.68044) Full Text: DOI Link OpenURL
Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore Language definitions as rewrite theories. (English) Zbl 1356.68125 J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 98-120 (2016). MSC: 68Q42 68N30 68Q55 PDF BibTeX XML Cite \textit{V. Rusu} et al., J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 98--120 (2016; Zbl 1356.68125) Full Text: DOI OpenURL
Şerbănuţă, Traian Florin; Dinu, Liviu P. Maximally parallel contextual string rewriting. (English) Zbl 1367.68152 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 152-166 (2016). MSC: 68Q42 PDF BibTeX XML Cite \textit{T. F. Şerbănuţă} and \textit{L. P. Dinu}, Lect. Notes Comput. Sci. 9942, 152--166 (2016; Zbl 1367.68152) Full Text: DOI OpenURL
Bettini, Lorenzo Implementing type systems for the IDE with Xsemantics. (English) Zbl 1348.68030 J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 655-680 (2016). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{L. Bettini}, J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 655--680 (2016; Zbl 1348.68030) Full Text: DOI OpenURL
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad Symbolic execution based on language transformation. (English) Zbl 1387.68047 Comput. Lang. Syst. Struct. 44, Part A, 48-71 (2015). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{A. Arusoaie} et al., Comput. Lang. Syst. Struct. 44, Part A, 48--71 (2015; Zbl 1387.68047) Full Text: DOI Link OpenURL
Roşu, Grigore From rewriting logic, to programming language semantics, to program verification. (English) Zbl 1321.68337 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 598-616 (2015). MSC: 68Q42 03B70 68N30 68Q55 68Q60 PDF BibTeX XML Cite \textit{G. Roşu}, Lect. Notes Comput. Sci. 9200, 598--616 (2015; Zbl 1321.68337) Full Text: DOI OpenURL
Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei; Nowak, David Verifying reachability-logic properties on rewriting-logic specifications. (English) Zbl 1321.68359 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 451-474 (2015). MSC: 68Q85 03B70 68Q42 68Q60 PDF BibTeX XML Cite \textit{D. Lucanu} et al., Lect. Notes Comput. Sci. 9200, 451--474 (2015; Zbl 1321.68359) Full Text: DOI Link OpenURL
Lucanu, Dorel; Rusu, Vlad Program equivalence by circular reasoning. (English) Zbl 1319.68060 Formal Asp. Comput. 27, No. 4, 701-726 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{D. Lucanu} and \textit{V. Rusu}, Formal Asp. Comput. 27, No. 4, 701--726 (2015; Zbl 1319.68060) Full Text: DOI Link OpenURL
Meseguer, José; Roşu, Grigore The rewriting logic semantics project: a progress report. (English) Zbl 1435.68188 Inf. Comput. 231, 38-69 (2013). MSC: 68Q55 03B70 68N30 68Q42 68Q60 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{G. Roşu}, Inf. Comput. 231, 38--69 (2013; Zbl 1435.68188) Full Text: DOI OpenURL
Meseguer, José; Roşu, Grigore The rewriting logic semantics project: a progress report. (English) Zbl 1342.68198 Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 1-37 (2011). MSC: 68Q55 03B70 68N30 68Q42 68Q60 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{G. Roşu}, Lect. Notes Comput. Sci. 6914, 1--37 (2011; Zbl 1342.68198) Full Text: DOI OpenURL
Roşu, Grigore; Ellison, Chucky; Schulte, Wolfram Matching logic: an alternative to Hoare/Floyd logic. (English) Zbl 1308.68045 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 142-162 (2011). MSC: 68N30 03B70 68Q55 PDF BibTeX XML Cite \textit{G. Roşu} et al., Lect. Notes Comput. Sci. 6486, 142--162 (2011; Zbl 1308.68045) Full Text: DOI Link OpenURL