Programming Languages

Authors and titles for November 2008

[1] arXiv:0811.0166 [pdf, other]

Title: Automatic Modular Abstractions for Linear Constraints

David Monniaux (VERIMAG - Imag)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[2] arXiv:0811.0436 [pdf, other]

Title: Instruction sequences for the production of processes

J. A. Bergstra, C. A. Middelburg

Comments: 23 pages; acknowledgement corrected, reference updated

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[3] arXiv:0811.0819 [pdf, other]

Title: Persistent Queries

Andreas Blass (University of Michigan), Yuri Gurevich (Microsoft Research)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[4] arXiv:0811.3231 [pdf, other]

Title: A Rational Deconstruction of Landin's SECD Machine with the J Operator

Olivier Danvy, Kevin Millikin

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 4 (November 29, 2008) lmcs:1112

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[5] arXiv:0811.4324 [pdf, other]

Title: Ensuring Query Compatibility with Evolving XML Schemas

Pierre Genevès, Nabil Layaïda, Vincent Quint

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

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

Title: Compactly accessible categories and quantum key distribution

Chris Heunen

Comments: 26 pages in Logical Methods in Computer Science, Volume 4, Issue 4 (November 17, 2008) lmcs:1129

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 4 (November 17, 2008) lmcs:1129

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

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

Title: A Transformation--Based Approach for the Design of Parallel/Distributed Scientific Software: the FFT

Harry B. Hunt, Lenore R. Mullin, Daniel J. Rosenkrantz, James E. Raynolds

Comments: 45 pages, 2 figures

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