×

Found 74 Documents (Results 1–74)

Type theory unchained: extending Agda with user-defined rewrite rules. (English) Zbl 07756107

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 2, 27 p. (2020).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

A wide-spectrum language for verification of programs on weak memory models. (English) Zbl 1460.68026

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, 240-257 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Two decades of Maude. (English) Zbl 1321.68007

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, 232-254 (2015).
PDFBibTeX XMLCite
Full Text: DOI

A rewriting-based model checker for the linear temporal logic of rewriting. (English) Zbl 1291.68244

Kniesel, Günter (ed.) et al., 9th international workshop on rule-based programming (Rule 2008), Hagenberg Castle, Hagenberg, Austria, July 14–18, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 290, 19-36 (2012).
MSC:  68Q60 03B44 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Validating timed models of deployment components with parametric concurrency. (English) Zbl 1308.68037

Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 46-60 (2011).
MSC:  68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Combining techniques to reduce state space and prove strong properties. (English) Zbl 1347.68200

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 267-280 (2009).
MSC:  68Q42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Memory representations in rewriting logic semantics definitions. (English) Zbl 1347.68196

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 155-172 (2009).
MSC:  68Q42 68N15 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Rewriting logic specification of membrane systems with promoters and inhibitors. (English) Zbl 1347.68125

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 5-22 (2009).
MSC:  68Q05 68Q10 68Q42 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A rewriting logic approach to type inference. (English) Zbl 1253.68211

Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 135-151 (2009).
MSC:  68Q55 68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Defining and executing P systems with structured data in K. (English) Zbl 1196.68084

Corne, David Wolfe (ed.) et al., Membrane computing. 9th international workshop, WMC 2008, Edinburgh, UK, July 28–31, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-95884-0/pbk). Lecture Notes in Computer Science 5391, 374-393 (2009).
MSC:  68Q10 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Maude as a platform for designing and implementing deep inference systems. (English) Zbl 1286.68398

Visser, Joost (ed.) et al., Proceedings of the 8th international workshop on rule based programming (RULE 2007), Paris, France, June 29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 219, 35-50 (2008).
MSC:  68T15 03B70 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Regular strategies as proof tactics for CIRC. (English) Zbl 1279.68056

Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 83-98 (2008).
MSC:  68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

An object-oriented component model for heterogeneous nets. (English) Zbl 1209.68339

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 257-279 (2008).
MSC:  68Q85 68N19 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Testing concurrent objects with application-specific schedulers. (English) Zbl 1161.68630

Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing – ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1–3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 319-333 (2008).
MSC:  68Q85 68Q60 68N30
PDFBibTeX XMLCite
Full Text: DOI

Solving Sudoku puzzles with rewriting rules. (English) Zbl 1279.68119

Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 79-93 (2007).
MSC:  68Q42 05B15
PDFBibTeX XMLCite
Full Text: DOI

Partial order reduction for rewriting semantics of programming languages. (English) Zbl 1279.68207

Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 61-78 (2007).
PDFBibTeX XMLCite
Full Text: DOI

A rewriting logic approach to operational semantics (extended abstract). (English) Zbl 1278.68147

van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 125-141 (2007).
MSC:  68Q55 68Q42 68N15
PDFBibTeX XMLCite
Full Text: DOI

An account of implementing applicative term rewriting. (English) Zbl 1277.68109

Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 139-155 (2007).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Recent advances in real-time Maude. (English) Zbl 1277.68144

Fernández, M. (ed.) et al., Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 1, 65-81 (2007).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Deduction, strategies, and rewriting. (English) Zbl 1277.68241

Archer, Myler (ed.) et al., Proceedings of the 6th international workshop on strategies in automated deduction (STRATEGIES 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 11, 3-25 (2007).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Relating state-based and process-based concurrency through linear logic. (English) Zbl 1262.68136

Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 145-176 (2006).
MSC:  68Q85 03F52
PDFBibTeX XMLCite
Full Text: DOI

Plan in Maude specifying an active network programming language. (English) Zbl 1272.68044

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 240-260 (2004).
MSC:  68M10 68N15 68N18
PDFBibTeX XMLCite
Full Text: Link

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. (English) Zbl 1272.03137

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 110-126 (2004).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: Link

Reachability in conditional term rewriting systems. (English) Zbl 1261.68099

Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 133-146 (2003).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Comparing Meseguer’s rewriting logic with the logic CRWL. (English) Zbl 1268.68103

Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 255-276 (2002).
MSC:  68Q42 03B70
PDFBibTeX XMLCite
Full Text: DOI

Representation and execution of Petri nets using rewriting logic as a unifying framework. (English) Zbl 1263.68094

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 140-162 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software