Programming Languages

Authors and titles for May 2011

[1] arXiv:1105.0069 [pdf, other]

Title: Context-Oriented Programming: A Programming Paradigm for Autonomic Systems

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella

Subjects: Programming Languages (cs.PL)

[2] arXiv:1105.0106 [pdf, other]

Title: Semantic Solutions to Program Analysis Problems

Sam Tobin-Hochstadt, David Van Horn

Subjects: Programming Languages (cs.PL)

[3] arXiv:1105.0322 [pdf, other]

Title: A Computational Model for the Direct Execution of General Specifications with Multi-way Constraints

Toshio Fukui

Comments: 21 pages, 15 figures

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

[4] arXiv:1105.0966 [pdf, other]

Title: A resource analysis of the pi-calculus

Aaron Turon, Mitchell Wand

Comments: Preliminary version for MFPS 2011

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

[5] arXiv:1105.1743 [pdf, other]

Title: Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis

David Van Horn, Matthew Might

Comments: Communications of the ACM, Research Highlight

Subjects: Programming Languages (cs.PL)

[6] arXiv:1105.1985 [pdf, other]

Title: A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus

Benedikt Meurer

Comments: 5 pages, 6 figures

Subjects: Programming Languages (cs.PL)

[7] arXiv:1105.2554 [pdf, other]

Title: Garbage Collection for Multicore NUMA Machines

Sven Auhagen, Lars Bergstrom, Matthew Fluet, John Reppy

Comments: To appear in Memory Systems Performance and Correctness 2011 (MSPC11)

Subjects: Programming Languages (cs.PL)

[8] arXiv:1105.2279 (cross-list from hep-lat) [pdf, other]

Title: Accelerating QDP++ using GPUs

Frank Winter

Comments: 6 pages, 3 figures

Subjects: High Energy Physics - Lattice (hep-lat); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL); Computational Physics (physics.comp-ph)

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

Title: TRX: A Formally Verified Parser Interpreter

Adam Koprowski (MLstate, Paris, France), Henri Binsztok (MLstate, Paris, France)

Comments: 26 pages, LMCS

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 2 (June 24, 2011) lmcs:686

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

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

Title: Relating Weight Constraint and Aggregate Programs: Semantics and Representation

Guohua Liu, Jia-Huai You

Comments: To appear in Theory and Practice of Logic Programming (TPLP), 2011. 30 pages

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

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

Title: Fast Distributed Process Creation with the XMOS XS1 Architecture

James Hanlon, Simon J. Hollis

Comments: To appear in Communicating Process Architectures (CPA) 2011, 14 pages

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

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

Title: Mapping Relational Operations onto Hypergraph Model

Amani Tahat, Maurice HT Ling

Comments: 21 pages

Journal-ref: The Python Papers 6(1): 4,2011

Subjects: Databases (cs.DB); Programming Languages (cs.PL)