Programming Languages

Authors and titles for July 2015

[1] arXiv:1507.00385 [pdf, other]

Title: Bounded Refinement Types

Niki Vazou, Alexander Bakst, Ranjit Jhala

Comments: 14 pages, International Conference on Functional Programming, ICFP 2015

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

[2] arXiv:1507.00723 [pdf, other]

Title: Theory of Programs

Bertrand Meyer

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

[3] arXiv:1507.01656 [pdf, other]

Title: Languages for Mobile Agents

Steve Versteeg

Comments: Honours Thesis. Department of Computer Science and Sofware Engineering, University of Melbourne. 1997

Subjects: Programming Languages (cs.PL)

[4] arXiv:1507.02437 [pdf, other]

Title: Extending Basic Block Versioning with Typed Object Shapes

Maxime Chevalier-Boisvert, Marc Feeley

Subjects: Programming Languages (cs.PL)

[5] arXiv:1507.02988 [pdf, other]

Title: Programmatic and Direct Manipulation, Together at Last

Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers

Comments: PLDI 2016 Paper + Supplementary Appendices

Subjects: Programming Languages (cs.PL)

[6] arXiv:1507.03137 [pdf, other]

Title: Pushdown Control-Flow Analysis for Free

Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn

Comments: in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Subjects: Programming Languages (cs.PL)

[7] arXiv:1507.03513 [pdf, other]

Title: Precise, Dynamic Information Flow for Database-Backed Applications

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

Subjects: Programming Languages (cs.PL)

[8] arXiv:1507.03559 [pdf, other]

Title: Mechanically Verified Calculational Abstract Interpretation

David Darais, David Van Horn

Subjects: Programming Languages (cs.PL)

[9] arXiv:1507.03577 [pdf, other]

Title: JSKETCH: Sketching for Java

Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama

Comments: This research was supported in part by NSF CCF-1139021, CCF- 1139056, CCF-1161775, and the partnership between UMIACS and the Laboratory for Telecommunication Sciences

Subjects: Programming Languages (cs.PL)

[10] arXiv:1507.04817 [pdf, other]

Title: Higher-order symbolic execution for contract verification and refutation

Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

Comments: This paper unifies and expands upon the work presented in the papers "Soft contract verification" [arXiv:1307.6239], and "Relatively complete counterexamples for higher-order programs" [arXiv:1411.3967]. It also subsumes the work in the paper "Higher-order symbolic execution via contracts" [arXiv:1103.1362]

Subjects: Programming Languages (cs.PL)

[11] arXiv:1507.05454 [pdf, other]

Title: Concolic Testing in Logic Programming

Fred Mesnard, Étienne Payet, Germán Vidal

Comments: To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 711-725

Subjects: Programming Languages (cs.PL)

[12] arXiv:1507.05527 [pdf, other]

Title: Synthesis of Recursive ADT Transformations from Reusable Templates

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

Subjects: Programming Languages (cs.PL)

[13] arXiv:1507.05762 [pdf, other]

Title: Horn Clauses as an Intermediate Representation for Program Analysis and Transformation

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard, Peter J. Stuckey

Comments: To Appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 526-542

Subjects: Programming Languages (cs.PL)

[14] arXiv:1507.05986 [pdf, other]

Title: Practical Run-time Checking via Unobtrusive Property Caching

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Comments: 30 pages, 1 table, 170 figures; added appendix with plots; To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 726-741

Subjects: Programming Languages (cs.PL)

[15] arXiv:1507.06576 [pdf, other]

Title: Abstract Gringo

Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 449-463

Subjects: Programming Languages (cs.PL)

[16] arXiv:1507.06852 [pdf, other]

Title: Adding Partial Functions to Constraint Logic Programming with Sets

Maximiliano Cristia, Gianfranco Rossi, Claudia Frydman

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 651-665

Subjects: Programming Languages (cs.PL)

[17] arXiv:1507.06988 [pdf, other]

Title: A Binary Data Stream Scripting Language

Lihua Wang, Luz Fernando Capretz

Journal-ref: Transactions on Information Science and Applications, 3(2):291-298, 2006

Subjects: Programming Languages (cs.PL)

[18] arXiv:1507.07049 [pdf, other]

Title: Event-Driven Network Programming

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerny

Subjects: Programming Languages (cs.PL)

[19] arXiv:1507.07264 [pdf, other]

Title: Everything old is new again: Quoted Domain Specific Languages

Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler

Subjects: Programming Languages (cs.PL)

[20] arXiv:1507.07719 [pdf, other]

Title: The role of concurrency in an evolutionary view of programming abstractions

Silvia Crafa

Subjects: Programming Languages (cs.PL)

[21] arXiv:1507.08087 [pdf, other]

Title: Tabling as a Library with Delimited Control

Benoit Desouter, Tom Schrijvers, Marko van Dooren

Comments: 15 pages. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015

Journal-ref: Theory and Practice of Logic Programming 15 (2015) 419-433

Subjects: Programming Languages (cs.PL)

[22] arXiv:1507.08093 [pdf, other]

Title: Property irrelevant predicates

Shrawan Kumar

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

[23] arXiv:1507.08398 [pdf, other]

Title: Towards a Decoupled Context-Oriented Programming Language for the Internet of Things

Baptiste Maingret (CITI), Frédéric Le Mouël (CITI), Julien Ponge (CITI), Nicolas Stouls (CITI), Jian Cao (CSE), Yannick Loiseau (LIMOS)

Journal-ref: ACM. 7th International Workshop on Context-Oriented Programming (COP'2015) in conjunction with the European Conference on Object-Oriented Programming (ECOOP'2015), Jul 2015, Prague, Czech Republic. pp.6, 2015

Subjects: Programming Languages (cs.PL)

[24] arXiv:1507.08610 [pdf, other]

Title: Fast, Flexible, and Declarative Construction of Abstract Syntax Trees with PEGs

Kimio Kuramitsu

Comments: To appear in Journal of Information Processing (2015)

Subjects: Programming Languages (cs.PL)

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

Title: Unfolding-based Partial Order Reduction

César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening

Comments: Long version of a paper with the same title appeared on the proceedings of CONCUR 2015

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