Programming Languages

Authors and titles for September 2009

[1] arXiv:0909.0764 [pdf, other]

Title: Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid

Aihua Wu, Joey Paquet, Serguei A. Mokhov

Comments: 27 pages, 8 listings, 2 tables, 5 figures

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

[2] arXiv:0909.1977 [pdf, other]

Title: Using Ellipsoidal Domains to Analyze Control Systems Software

Fernando Alegre, Eric Feron, Santosh Pande

Comments: 17 pages

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

[3] arXiv:0909.2089 [pdf, other]

Title: Indirect jumps improve instruction sequence performance

J. A. Bergstra, C. A. Middelburg

Comments: 10 pages, definition of maximal internal delay and theorem 1 are stated more precise; presentation improved

Journal-ref: Scientific Annals of Computer Science, 22(2):253--265, 2012

Subjects: Programming Languages (cs.PL)

[4] arXiv:0909.2839 [pdf, other]

Title: A progression ring for interfaces of instruction sequences, threads, and services

Jan A. Bergstra, Alban Ponse

Comments: 12 pages

Subjects: Programming Languages (cs.PL)

[5] arXiv:0909.4013 [pdf, other]

Title: Automatic modular abstractions for template numerical constraints

David Monniaux (VERIMAG - IMAG)

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

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

Title: FastFlow: Efficient Parallel Streaming Applications on Multi-core

Marco Aldinucci, Massimo Torquati, Massimiliano Meneghin

Comments: 23 pages + cover

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

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

Title: SocialScope: Enabling Information Discovery on Social Content Sites

Sihem Amer-Yahia (Yahoo! Research), Laks Lakshmanan (UBC), Cong Yu (Yahoo! Research)

Comments: CIDR 2009

Subjects: Databases (cs.DB); Human-Computer Interaction (cs.HC); Information Retrieval (cs.IR); Programming Languages (cs.PL)