×

Found 2 Documents (Results 1–2)

Mechanizing the metatheory of mini-XQuery. (English) Zbl 1350.68054

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, 280-295 (2011).
MSC:  68N15 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI

Converting between combinatory reduction systems and big step semantics. (English) Zbl 1253.68212

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 297-314 (2009).
MSC:  68Q55 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field