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

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

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

### $$\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
Full Text:

MSC:  68V15
Full Text:

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

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

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

### Dynamic structural operational semantics. (English)Zbl 1431.68061

MSC:  68Q55 68N15
Full Text:

### Executable component-based semantics. (English)Zbl 1417.68095

MSC:  68Q55 68N15
Full Text:

MSC:  68Q55
Full Text:

### 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).
Full Text:

Full Text:

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

### $$\alpha\mathrm{Check}$$: a mechanized metatheory model checker. (English)Zbl 1379.68236

MSC:  68Q60 03B70 68T15
Full Text:

### Formal methods for web security. (English)Zbl 1359.68021

MSC:  68M11 68-02
Full Text:

### A generic framework for symbolic execution: a coinductive approach. (English)Zbl 1356.68044

MSC:  68N30 68Q55 68W30
Full Text:

### Language definitions as rewrite theories. (English)Zbl 1356.68125

MSC:  68Q42 68N30 68Q55
Full Text:

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

### Implementing type systems for the IDE with Xsemantics. (English)Zbl 1348.68030

MSC:  68N18 68Q55
Full Text:

### Symbolic execution based on language transformation. (English)Zbl 1387.68047

MSC:  68N15 68Q55
Full Text:

### 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).
Full Text:

### 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).
Full Text:

MSC:  68N30
Full Text:

Full Text:

### 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).
Full Text:

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

all top 5

all top 3