×

Found 13 Documents (Results 1–13)

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

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

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
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

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
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

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).
PDFBibTeX XMLCite

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

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software