Programming Languages

Authors and titles for February 2009

[1] arXiv:0902.0019 [pdf, other]

Title: CPAchecker: A Tool for Configurable Software Verification

Dirk Beyer, M. Erkan Keremoglu

Comments: 8 pages (6 without cover), 2 figures, 2 tables, tool paper, Web page: this http URL

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

[2] arXiv:0902.1257 [pdf, other]

Title: Compilation of extended recursion in call-by-value functional languages

Tom Hirschowitz (LM-Savoie), Xavier Leroy (INRIA Rocquencourt), J. B. Wells

Comments: 62 pages, uses pic

Journal-ref: Higher-Order and Symbolic Computation 22, 1 (2009) 3-66

Subjects: Programming Languages (cs.PL)

[3] arXiv:0902.2621 [pdf, other]

Title: Creating modular and reusable DSL textual syntax definitions with Grammatic/ANTLR

Andrey Breslav

Comments: Submitted to PSI'09

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

[4] arXiv:0902.2859 [pdf, other]

Title: Transmission protocols for instruction streams

J. A. Bergstra, C. A. Middelburg

Comments: 13 pages

Journal-ref: In ICTAC 2009, pages 127--139. Springer-Verlag, LNCS 5684, 2009

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

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

Title: A formally verified compiler back-end

Xavier Leroy (INRIA Rocquencourt)

Journal-ref: Journal of Automated Reasoning 43, 4 (2009) 363-446

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

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

Title: A minimalistic look at widening operators

David Monniaux (VERIMAG - Imag)

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