×

Found 133 Documents (Results 1–100)

On ground convergence and completeness of conditional equational program hierarchies. (English) Zbl 1514.68039

Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 191-211 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude. (English) Zbl 1400.68003

Undergraduate Topics in Computer Science. London: Springer (ISBN 978-1-4471-6686-3/pbk; 978-1-4471-6687-0/ebook). xviii, 313 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Order-sorted rewriting and congruence closure. (English) Zbl 1475.68142

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 493-509 (2016).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Towards modelling actor-based concurrency in term rewriting. (English) Zbl 1428.68204

Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 19-29 (2015).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Equational formulas and pattern operations in initial order-sorted algebras. (English) Zbl 1362.68053

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 36-53 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Function calls at frozen positions in termination of context-sensitive rewriting. (English) Zbl 1321.68330

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, 311-330 (2015).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Combining runtime checking and slicing to improve Maude error diagnosis. (English) Zbl 1321.68325

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, 72-96 (2015).
MSC:  68Q42 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Localized operational termination in general logics. (English) Zbl 1453.68053

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 91-114 (2015).
MSC:  68N30 03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI

ACUOS: a system for modular ACU generalization with subtyping and inheritance. (English) Zbl 1432.68422

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 573-581 (2014).
MSC:  68T27 68P05
PDFBibTeX XMLCite
Full Text: DOI Link

Simpl: a toolkit for domain-specific language development in enterprise information systems. (English) Zbl 1354.68005

Dissertationes Mathematicae Universitatis Tartuensis 87. Tartu: University of Tartu Press; Tartu: Univ. Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science (Diss.) (ISBN 978-9949-32-391-3/pbk; 978-9949-32-392-0/ebook). 151 p. (2013).
MSC:  68-02 68N15 68U35
PDFBibTeX XMLCite
Full Text: Link Link

A parallelized theorem prover for a logic with parallel execution. (English) Zbl 1317.68230

Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 435-450 (2013).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Foundations of algebraic specification and formal software development. (English) Zbl 1237.68129

Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-642-17335-6/hbk). xvi, 581 p. (2012).
MSC:  68Q65 68-02
PDFBibTeX XMLCite

Tactics for reasoning modulo AC in Coq. (English) Zbl 1350.68227

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 167-182 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient general unification for XOR with homomorphism. (English) Zbl 1341.68195

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 407-421 (2011).
MSC:  68T15 68Q42 94A60
PDFBibTeX XMLCite
Full Text: DOI

Programming in biomolecular computation. (English) Zbl 1283.92029

Krivine, Jean (ed.) et al., Proceedings of the 1st international workshop on interactions between computer science and biology (CS2Bio’10), Amsterdam, The Netherlands, June 10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 268, 97-114 (2010).
MSC:  92C40 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Constructors, sufficient completeness, and deadlock freedom of rewrite theories. (English) Zbl 1306.68087

Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 594-609 (2010).
MSC:  68Q42 03B70 68Q45 68T15
PDFBibTeX XMLCite
Full Text: DOI

Concurrent rewriting semantics and analysis of asynchronous digital circuits. (English) Zbl 1306.68078

Ölveczky, Peter Csaba (ed.), Rewriting logic and its applications. 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20–21, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16309-8/pbk). Lecture Notes in Computer Science 6381, 140-156 (2010).
MSC:  68Q42 68Q55 68Q85 94C10
PDFBibTeX XMLCite
Full Text: DOI

Coverset induction with partiality and subsorts: a powerlist case study. (English) Zbl 1291.68346

Kaufmann, Matt (ed.) et al., Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11–14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14051-8/pbk). Lecture Notes in Computer Science 6172, 275-290 (2010).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Transformation and debugging of functional logic programs. (English) Zbl 1285.68026

Dovier, Agostino (ed.) et al., A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Berlin: Springer (ISBN 978-3-642-14308-3/pbk). Lecture Notes in Computer Science 6125, 271-299 (2010).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Termination of context-sensitive rewriting with built-in numbers and collection data structures. (English) Zbl 1274.68149

Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 44-61 (2010).
MSC:  68Q42 68P05
PDFBibTeX XMLCite
Full Text: DOI

Using context-sensitive rewriting for proving innermost termination of rewriting. (English) Zbl 1337.68147

Almendros-Jiménez, Jesús M (ed.), Proceedings of the 8th Spanish conference on programming and computer languages (PROLE 2008), Gijón, Spain, October 8–10, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 248, 3-17 (2009).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

Order-sorted generalization. (English) Zbl 1347.68193

Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 27-38 (2009).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

A declarative debugger for Maude functional modules. (English) Zbl 1347.68073

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, 63-81 (2009).
MSC:  68N30 68Q42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. (English) Zbl 1279.68017

Electronic Notes in Theoretical Computer Science 238, No. 3. Amsterdam: Elsevier. 291 p., electronic only (2009).
PDFBibTeX XMLCite
Full Text: Link

Termination modulo combinations of equational theories. (English) Zbl 1193.68145

Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 246-262 (2009).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Libraries for generic programming in Haskell. (English) Zbl 1263.68037

Koopman, Pieter (ed.) et al., Advanced functional programming. 6th international school, AFP 2008, Heijen, The Netherlands, May 2008. Revised lectures. Berlin: Springer (ISBN 978-3-642-04651-3/pbk). Lecture Notes in Computer Science 5832, 165-229 (2009).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Maude-NPA: cryptographic protocol analysis modulo equational properties. (English) Zbl 1252.94061

Aldini, Alessandro (ed.) et al., Foundations of security analysis and design V. FOSAD 2007/2008/2009 tutorial lectures. Berlin: Springer (ISBN 978-3-642-03828-0/pbk). Lecture Notes in Computer Science 5705, 1-50 (2009).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

A fully abstract semantics for constructor systems. (English) Zbl 1242.68137

Treinen, Ralf (ed.), Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29–July 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02347-7/pbk). Lecture Notes in Computer Science 5595, 320-334 (2009).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Analytical inductive functional programming. (English) Zbl 1185.68197

Hanus, Michael (ed.), Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17–18, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00514-5/pbk). Lecture Notes in Computer Science 5438, 87-102 (2009).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

A modular equational generalization algorithm. (English) Zbl 1185.68219

Hanus, Michael (ed.), Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17–18, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00514-5/pbk). Lecture Notes in Computer Science 5438, 24-39 (2009).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

A hierarchy of semantics for non-deterministic term rewriting systems. (English) Zbl 1248.68279

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 328-339, electronic only (2008).
PDFBibTeX XMLCite
Full Text: DOI Link

Declarative debugging of membership equational logic specifications. (English) Zbl 1143.68363

Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 174-193 (2008).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Expander2: program verification between interaction and automation. (English) Zbl 1279.68293

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 35-57 (2007).
MSC:  68T15 03B70 68N30 68Q65 68Q42
PDFBibTeX XMLCite
Full Text: DOI

A rewriting logic framework for soft constraints. (English) Zbl 1279.68124

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, 181-197 (2007).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Abstraction and model checking of core Erlang programs in Maude. (English) Zbl 1279.68216

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, 147-163 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Using Maude and its strategies for defining a framework for analyzing Eden semantics. (English) Zbl 1277.68104

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, 119-137 (2007).
MSC:  68Q42 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Programmed strategies for program verification. (English) Zbl 1277.68057

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, 3-38 (2007).
MSC:  68N30 68N18 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Inducing constructor systems from example-terms by detecting syntactical regularities. (English) Zbl 1277.68058

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, 49-63 (2007).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Term collections in {\(\lambda\)} and {\(\rho\)}-calculi. (English) Zbl 1277.03010

Jouannaud, Jean-Pierre (ed.) et al., Proceedings of the second international workshop on developments in computational models (DCM 2006), Venice, Italy, July 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 3, 3-19 (2007).
MSC:  03B40 68Q42 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Dependency pairs for rewriting with non-free constructors. (English) Zbl 1213.68346

Pfenning, Frank (ed.), Automated deduction – CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17–20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence, 426-442 (2007).
MSC:  68Q42 68N18
PDFBibTeX XMLCite
Full Text: DOI

Specification and analysis of distributed object-based stochastic hybrid systems. (English) Zbl 1178.68350

Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 460-475 (2006).
MSC:  68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A tutorial on specifying data structures in Maude. (English) Zbl 1272.68119

Lucas, Salvador (ed.), Proceedings of the 4th Spanish conference on programming and computer languages (PROLE 2004), Málaga, Spain, November 10–12, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 137, No. 1, 105-132 (2005).
MSC:  68P05 68N30 68Q42
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software