Programming Languages

Authors and titles for August 2008

[1] arXiv:0808.0556 [pdf, other]

Title: Logic Engines as Interactors

Paul Tarau

Comments: unpublished draft

Subjects: Programming Languages (cs.PL); Multiagent Systems (cs.MA)

[2] arXiv:0808.0586 [pdf, other]

Title: Coinductive big-step operational semantics

Xavier Leroy (INRIA Rocquencourt), Hervé Grall (INRIA Rennes, LINA)

Journal-ref: Information and Computation (2007)

Subjects: Programming Languages (cs.PL)

[3] arXiv:0808.2953 [pdf, other]

Title: Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell

Paul Tarau

Comments: unpublished draft, revision 3, added various new encodings, with focus on primes and multisets, now 104 pages

Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS)

[4] arXiv:0808.3307 [pdf, other]

Title: Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus

Naokata Shikuma, Atsushi Igarashi

Comments: 31 pages

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 3 (September 20, 2008) lmcs:683

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[5] arXiv:0808.3548 (cross-list from cs.DC) [pdf, other]

Title: Realizing Fast, Scalable and Reliable Scientific Computations in Grid Environments

Yong Zhao, Ioan Raicu, Ian Foster, Mihael Hategan, Veronika Nefedova, Mike Wilde

Comments: Book chapter in Grid Computing Research Progress, ISBN: 978-1-60456-404-4, Nova Publisher 2008

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)