×

Found 10 Documents (Results 1–10)

GMeta: a generic formal metatheory framework for first-order representations. (English) Zbl 1352.68063

Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 436-455 (2012).
MSC:  68N30 03B70 68T15
PDFBibTeX XMLCite
Full Text: DOI

Type preservation as a confluence problem. (English) Zbl 1236.68153

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 345-360, electronic only (2011).
MSC:  68Q42 03B70 03B40
PDFBibTeX XMLCite
Full Text: DOI Link

Explicit contexts in LF (extended abstract). (English) Zbl 1337.68237

Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 53-68 (2009).
MSC:  68T15 03B70
PDFBibTeX XMLCite
Full Text: DOI

Formalizing operational semantic specifications in logic. (English) Zbl 1347.68213

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

Multimodal separation logic for reasoning about operational semantics. (English) Zbl 1286.68395

Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 5-20 (2008).
MSC:  68T15 03B70 68N15 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A head-to-head comparison of de Bruijn indices and names. (English) Zbl 1278.03033

Momigliano, Alberto (ed.) et al., Proceedings of the first international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 5, 53-67 (2007).
MSC:  03B40 03B70 68T15
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software