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 PDFBibTeX XMLCite \textit{A. Lochbihler}, J. Autom. Reasoning 61, No. 1--4, 243--332 (2018; Zbl 1451.68178) Full Text: DOI
Riesco, Adrián; Asavoae, Irina Mariuca; Asavoae, Mihail Memory policy analysis for semantics specifications in Maude. (English) Zbl 1473.68056 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. Lect. Notes Comput. Sci. 9527, 293-310 (2015). MSC: 68N30 68N15 68Q42 68Q55 68Q60 PDFBibTeX XMLCite \textit{A. Riesco} et al., Lect. Notes Comput. Sci. 9527, 293--310 (2015; Zbl 1473.68056) Full Text: DOI
Bodin, Martin; Chargueraud, Arthur; Filaretti, Daniele; Gardner, Philippa; Maffeis, Sergio; Naudziuniene, Daiva; Schmitt, Alan; Smith, Gareth A trusted mechanised JavaSript specification. (English) Zbl 1284.68381 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 87-100 (2014). MSC: 68Q60 68N30 68T15 68N15 PDFBibTeX XMLCite \textit{M. Bodin} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 87--100 (2014; Zbl 1284.68381) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{G. Roşu}, Inf. Comput. 231, 38--69 (2013; Zbl 1435.68188) Full Text: DOI
Lochbihler, Andreas; Bulwahn, Lukas Animating the formalised semantics of a Java-like language. (English) Zbl 1342.68294 Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 216-232 (2011). MSC: 68T15 68N15 68Q60 PDFBibTeX XMLCite \textit{A. Lochbihler} and \textit{L. Bulwahn}, Lect. Notes Comput. Sci. 6898, 216--232 (2011; Zbl 1342.68294) Full Text: DOI
Roşu, Grigore; Şerbănuţă, Traian Florin An overview of the K semantic framework. (English) Zbl 1214.68188 J. Log. Algebr. Program. 79, No. 6, 397-434 (2010). MSC: 68Q42 68N15 68Q55 PDFBibTeX XMLCite \textit{G. Roşu} and \textit{T. F. Şerbănuţă}, J. Log. Algebr. Program. 79, No. 6, 397--434 (2010; Zbl 1214.68188) Full Text: DOI
Hills, Mark 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 \textit{M. Hills}, Electron. Notes Theor. Comput. Sci. 238, No. 3, 155--172 (2009; Zbl 1347.68196) Full Text: DOI
Lescaylle, Alexei; Villanueva, Alicia The tccp interpreter. (English) Zbl 1294.68047 Lucio, Paqui (ed.) et al., Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9–11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 258, No. 1, 63-77 (2009). MSC: 68N20 68N15 68Q60 68T15 PDFBibTeX XMLCite \textit{A. Lescaylle} and \textit{A. Villanueva}, Electron. Notes Theor. Comput. Sci. 258, No. 1, 63--77 (2009; Zbl 1294.68047) Full Text: DOI
Farzan, Azadeh; Meseguer, José 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). MSC: 68Q60 68N15 68Q42 68Q55 PDFBibTeX XMLCite \textit{A. Farzan} and \textit{J. Meseguer}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 61--78 (2007; Zbl 1279.68207) Full Text: DOI
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 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 \textit{T. F. Şerbănuţă} et al., Electron. Notes Theor. Comput. Sci. 192, No. 1, 125--141 (2007; Zbl 1278.68147) Full Text: DOI
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (English) Zbl 1115.68046 Lecture Notes in Computer Science 4350. Berlin: Springer (ISBN 978-3-540-71940-3/pbk). xxii, 797 p. (2007). MSC: 68N15 68N30 68M14 03B70 68-02 PDFBibTeX XMLCite \textit{M. Clavel} et al., All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Berlin: Springer (2007; Zbl 1115.68046)
Meseguer, José; Roşu, Grigore The rewriting logic semantics project. (English) Zbl 1111.68068 Theor. Comput. Sci. 373, No. 3, 213-237 (2007). MSC: 68Q55 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{G. Roşu}, Theor. Comput. Sci. 373, No. 3, 213--237 (2007; Zbl 1111.68068) Full Text: DOI
Ahrendt, Wolfgang; Roth, Andreas; Sasse, Ralf Automatic validation of transformation rules for Java verification against a rewriting semantics. (English) Zbl 1143.68348 Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 412-426 (2005). MSC: 68N15 68Q60 PDFBibTeX XMLCite \textit{W. Ahrendt} et al., Lect. Notes Comput. Sci. 3835, 412--426 (2005; Zbl 1143.68348) Full Text: DOI