Programming Languages

Authors and titles for January 2012

[1] arXiv:1201.0023 [pdf, other]

Title: Effects for Funargs

Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner

Subjects: Programming Languages (cs.PL)

[2] arXiv:1201.0024 [pdf, other]

Title: Well-typed Islands Parse Faster

Erik Silkensen, Jeremy G. Siek

Subjects: Programming Languages (cs.PL)

[3] arXiv:1201.0027 [pdf, other]

Title: The C++0x "Concepts" Effort

Jeremy G. Siek

Subjects: Programming Languages (cs.PL)

[4] arXiv:1201.0874 [pdf, other]

Title: Applicative Bisimulations for Delimited-Control Operators

Dariusz Biernacki, Serguei Lenglet

Comments: A long version of an article accepted at FoSSaCS 2012

Subjects: Programming Languages (cs.PL)

[5] arXiv:1201.1101 [pdf, other]

Title: Expansion for Universal Quantifiers

Sergueï Lenglet, J. B. Wells

Comments: Long version of the corresponding ESOP 2012 paper

Subjects: Programming Languages (cs.PL)

[6] arXiv:1201.1277 [pdf, other]

Title: Structural Analysis: Shape Information via Points-To Computation

Mark Marron

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

[7] arXiv:1201.1327 [pdf, other]

Title: Abstracting Runtime Heaps for Program Understanding

Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fahndrich

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

[8] arXiv:1201.2312 [pdf, other]

Title: Actor Garbage Collection in Distributed Systems using Graph Transformation

B. Seetha Lakshmi, C. D. Balapriya, R. Soniya

Subjects: Programming Languages (cs.PL)

[9] arXiv:1201.2430 [pdf, other]

Title: A Well-typed Lightweight Situation Calculus

Li Tan

Comments: In Proceedings of the 21st Workshop on Logic-based methods in Programming Environments (WLPE'11), ICLP 2011 Workshop, pp. 62-73, Lexington, Kentucky, USA, July 2011

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[10] arXiv:1201.3778 [pdf, other]

Title: Processor Allocation for Optimistic Parallelization of Irregular Programs

Francesco Versaci, Keshav Pingali

Comments: 12 pages, 3 figures, extended version of SPAA 2011 brief announcement

Journal-ref: LNCS 7333/2012

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

[11] arXiv:1201.3907 [pdf, other]

Title: The Call-by-need Lambda Calculus, Revisited

Stephen Chang, Matthias Felleisen

Comments: ESOP 2012

Subjects: Programming Languages (cs.PL)

[12] arXiv:1201.4262 [pdf, other]

Title: Secondary use of data in EHR systems

Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson

Comments: 40 pages

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

[13] arXiv:1201.4715 [pdf, other]

Title: Compact Symbolic Execution

Jiří Slabý, Jan Strejček, Marek Trtík

Comments: This is a full version of the paper accepted to ATVA 2013

Subjects: Programming Languages (cs.PL)

[14] arXiv:1201.4719 [pdf, other]

Title: On Synergy of Metal, Slicing, and Symbolic Execution

Jiří Slabý, Jan Strejček, Marek Trtík

Subjects: Programming Languages (cs.PL)

[15] arXiv:1201.4801 [pdf, other]

Title: Transporting Functions across Ornaments

Dagand Pierre-Evariste, McBride Conor

Journal-ref: J. Funct. Prog. 24 (2014) 316-383

Subjects: Programming Languages (cs.PL)

[16] arXiv:1201.6057 [pdf, other]

Title: Programming errors in traversal programs over structured data

Ralf Laemmel, Simon Thompson, Markus Kaiser

Subjects: Programming Languages (cs.PL)

[17] arXiv:1201.6188 [pdf, other]

Title: On the realizability of contracts in dishonest systems

Massimo Bartoletti, Emilio Tuosto, Roberto Zunino

Subjects: Programming Languages (cs.PL)

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

Title: Proceedings Second Workshop on Developments in Implicit Computational Complexity

Jean-Yves Marion (LORIA)

Comments: EPTCS 75, 2012

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

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

Title: Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Sanjit A. Seshia

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

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

Title: Ramified Structural Recursion and Corecursion

Norman Danner, James S. Royer

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

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

Title: A dependent nominal type theory

James Cheney (University of Edinburgh)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (February 20, 2012) lmcs:1042

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

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

Title: A Transformation-based Implementation for CLP with Qualification and Proximity

R. Caballero, M. Rodriguez-Artalejo, C. A. Romero-Diaz

Comments: To appear in Theory and Practice of Logic Programming (TPLP). arXiv admin note: significant text overlap with arXiv:1009.1976

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

[23] arXiv:1201.5728 (cross-list from cs.CR) [pdf, other]

Title: Functional Programming and Security

Yusuf Moosa Motara

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