Programming Languages

Authors and titles for November 2013

[26] arXiv:1311.6563 (cross-list from cs.LO) [pdf, other]

Title: Higher-order semantics for quantum programming languages with classical control

Philip Atzemoglou

Comments: DPhil Thesis. See full text for unabridged abstract

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Quantum Physics (quant-ph)

[27] arXiv:1311.7536 (cross-list from cs.SE) [pdf, other]

Title: Proceedings Sixth Transformation Tool Contest

Pieter Van Gorp (Eindhoven University of Technology), Louis M. Rose (University of York), Christian Krause (SAP)

Journal-ref: EPTCS 135, 2013

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)