×

Found 27 Documents (Results 1–27)

100
MathJax

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

\( \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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI

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
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

Classification

all top 3

Software