Programming Languages

Authors and titles for September 2012

[1] arXiv:1209.0643 [pdf, other]

Title: Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Thomas Martin Gawlitza (The University of Sydney), David Monniaux (CNRS/VERIMAG)

Comments: 35 pages, conference version published at ESOP 2011, this version is a CoRR version of our submission to Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 3 (September 30, 2012) lmcs:689

Subjects: Programming Languages (cs.PL)

[2] arXiv:1209.0680 [pdf, other]

Title: History-Register Automata

Radu Grigore (University of Oxford), Nikos Tzevelekos (Queen Mary University of London)

Comments: LMCS (improved version of FoSSaCS)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 1 (March 29, 2016) lmcs:1630

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

[3] arXiv:1209.1422 [pdf, other]

Title: A Procedure for Splitting Processes and its Application to Coordination

Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença

Comments: In Proceedings FOCLASA 2012, arXiv:1208.4327

Journal-ref: EPTCS 91, 2012, pp. 79-96

Subjects: Programming Languages (cs.PL)

[4] arXiv:1209.1711 [pdf, other]

Title: Programming Languages for Scientific Computing

Matthew G. Knepley

Comments: 21 pages

Journal-ref: Encyclopedia of Applied and Computational Mathematics, Springer, 2012

Subjects: Programming Languages (cs.PL); Computational Engineering, Finance, and Science (cs.CE); Mathematical Software (cs.MS)

[5] arXiv:1209.2012 [pdf, other]

Title: A Framework for Concurrent Imperative Programming

Stephan van Staden

Comments: 20 pages

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

[6] arXiv:1209.2617 [pdf, other]

Title: Rewriting and narrowing for constructor systems with call-time choice semantics

Francisco J. López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Comments: 89 pages, 6 figures. To appear in Theory and Practice of Logic Programming (TPLP). Corrected typos

Subjects: Programming Languages (cs.PL)

[7] arXiv:1209.5145 [pdf, other]

Title: Julia: A Fast Dynamic Language for Technical Computing

Jeff Bezanson, Stefan Karpinski, Viral B. Shah, Alan Edelman

Subjects: Programming Languages (cs.PL); Computational Engineering, Finance, and Science (cs.CE)

[8] arXiv:1209.5407 [pdf, other]

Title: A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?

Alexei Lisitsa, Andrei P. Nemytykh

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

[9] arXiv:1209.5851 [pdf, other]

Title: A polynomial time λ-calculus with multithreading and side effects

Antoine Madet (PPS)

Comments: PPDP, Leuven : Belgique (2012)

Subjects: Programming Languages (cs.PL)

[10] arXiv:1209.4379 (cross-list from quant-ph) [pdf, other]

Title: Defining Quantum Control Flow

Mingsheng Ying, Nengkun Yu, Yuan Feng

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

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

Title: A Logic for Correlating Temporal Properties across Program Transformations

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

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