Front for the arXiv
Fri, 8 Dec 2017
Front > cs > PL
search | register | submit
journals | about | iFAQ

cs.PL Programming Languages

Calendar Search Atom feed

Search

Recent   

New articles (last 12)

5 Dec [abs] [pdf] arXiv:1712.01163 Introspection for C and its Applications to Library Robustness. Manuel Rigger (Johannes Kepler University Linz, Austria), Rene Mayrhofer (Johannes Kepler University Linz, Austria), Roland Schatz (Oracle Labs, Austria), Matthias Grimmer (Oracle Labs, Austria), Hanspeter MÃ{\P}ssenbÃ{\P}ck (Johannes Kepler University Linz, Austria). The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 2, Article 4. cs.PL.
5 Dec [abs] [pdf] arXiv:1712.01161 Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications. Laure Philips (Software Languages Lab, Belgium), Joeri De Koster (Vrije Universiteit Brussel, Belgium), Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium), Coen De Roover (Vrije Universiteit Brussel, Belgium). The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 2, Article 3. cs.PL.
1 Dec [abs] [pdf] arXiv:1711.11396 An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi. cs.PL.

Cross-listings

6 Dec [abs] [pdf] arXiv:1712.01281 Studying tidal effects in planetary systems with Posidonius. A N-body simulator written in Rust. Sergi Blanco-Cuaresma, Emeline Bolmont. physics.AEP (cs.PL physics.AIM physics.ASR).
6 Dec [abs] [pdf] arXiv:1712.01718 An LLVM Instrumentation Plug-in for Score-P. Ronny Tschüter, Johannes Ziegenbalg, Bert Wesarg, Matthias Weber, Christian Herold, Sebastian Döbel, Ronny Brendel. LLVM-HPC'17: Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 2017, 2:1--2:8. cs.SE (cs.PF cs.PL).
5 Dec [abs] [pdf] arXiv:1712.01024 A Quantitative Study of Java Software Buildability. Matúš Sulír, Jaroslav Porubän. Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2016), pages 17-25. ACM, 2016. cs.SE (cs.PL).
5 Dec [abs] [pdf] arXiv:1712.01014 Generalizing inference systems by coaxioms. Francesco Dagnino. cs.LO (cs.PL).
5 Dec [abs] [html] arXiv:1712.00898 Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving. Catherine Dubois, Bruno Woltzenlogel Paleo. EPTCS 262, 2017. cs.LO (cs.AI cs.PL).

Revisions

7 Dec [abs] [pdf] arXiv:1711.03016 DLVM: A modern compiler infrastructure for deep learning systems. Richard Wei, Vikram Adve, Lane Schwartz. cs.PL (cs.LG cs.MS).
4 Dec [abs] [pdf] arXiv:1711.11396 An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi. cs.PL.
4 Dec [abs] [pdf] arXiv:1708.02319 On the Learnability of Programming Language Semantics. Dan R. Ghica (1), Khulood Alyahya (2) ((1) University of Birmingham, (2) University of Exeter). EPTCS 261, 2017, pp. 57-75. cs.PL.

Revised crosses

5 Dec [abs] [pdf] arXiv:1710.01547 Visual and Textual Programming Languages: A Systematic Review of the Literature. Mark Noone, Aidan Mooney. cs.CY (cs.PL).

Calendar

2017 339+132 December 2+5 November 41+16 October 30+16 September 39+9 August 27+11 July 29+8
June 17+9 May 33+8 April 25+9 March 29+20 February 25+9 January 42+12
2016 275+138 December 14+7 November 34+11 October 32+10 September 13+5 August 44+22 July 28+7
June 24+23 May 16+8 April 19+12 March 22+10 February 16+14 January 13+9
2015 213+120 December 17+6 November 33+7 October 19+4 September 14+21 August 15+15 July 24+17
June 10+9 May 15+2 April 16+5 March 18+9 February 11+13 January 21+12
2014 197+105 December 25+13 November 9+3 October 11+8 September 13+11 August 9+14 July 20+3
June 29+14 May 32+7 April 15+16 March 15+5 February 11+2 January 8+9
2013 209+106 December 24+14 November 19+8 October 13+8 September 29+10 August 15+12 July 23+8
June 19+4 May 9+5 April 18+7 March 7+6 February 13+12 January 20+12
2012 151+79 December 10+4 November 8+9 October 18+10 September 9+2 August 16+7 July 9+6
June 12+5 May 6+9 April 9+8 March 16+3 February 21+10 January 17+6
2011 154+89 December 20+1 November 8+12 October 12+9 September 26+11 August 17+10 July 15+7
June 13+7 May 7+5 April 6+5 March 8+3 February 13+12 January 9+7
2010 129+88 December 12+4 November 11+4 October 14+3 September 18+10 August 8+8 July 19+8
June 9+11 May 6+6 April 8+4 March 7+12 February 10+9 January 7+9
2009 75+52 December 6+4 November 8+7 October 7+11 September 5+2 August 2+1 July 10+2
June 9+8 May 6+6 April 2+5 March 11+3 February 4+2 January 5+1
2008 46+27 December 4+3 November 5+2 October 8+2 September 2 August 4+1 July 3+1
June 1+4 May 1 April 5+4 March 0+5 February 3+2 January 10+3
2007 65+15 December 7+2 November 9 October 9+2 September 0+1 August 1+1 July 3+3
June 4+1 May 5 April 1+2 March 8 February 2+2 January 16+1
2006 30+36 December 1+6 November 1+3 October 2+1 September 3+1 August 5+3 July 1+4
June 2+6 May 1+2 April 0+1 March 4+5 February 4+1 January 6+3
2005 29+17 December 6+1 November 2+2 October 1 September 2+1 August 5+5 July 3
June 3 May 1+1 April 2+2 March 3+2 January 1+3
2004 44+19 December 3 November 1+2 October 0+1 September 3+1 August 6+3 July 1+3
June 3+2 May 13+1 April 5+2 March 3+3 February 3 January 3+1
2003 19+11 December 3+1 November 7+1 October 1+1 September 3+1 August 1 July 1
June 0+4 March 0+1 February 1+2 January 2
2002 19+13 December 2 November 0+3 October 1 August 3+1 July 1+3
May 1+2 April 4+1 March 2+1 February 2 January 3+2
2001 38+22 November 8 October 6 September 9+1 August 0+1 July 2+1
June 4+10 May 3+2 April 0+1 March 1+1 February 2 January 3+5
2000 24+24 December 1+4 November 3+8 October 4+4 September 2 July 2+2
June 1+1 May 4+1 April 2+1 March 3+2 February 0+1 January 2
1999 5+7 November 1 September 0+2 August 1 July 0+1
June 0+1 May 1 April 1+1 March 0+1 January 1+1
1998 8+4 November 3+1 October 3+3 September 2
1994 1 January 1

Total: 2070+1104 articles (primary+secondary)

[help e-mail] - for questions or comments about the Front
arXiv contact page - for questions about downloading and submitting e-prints