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)

[26] arXiv:1507.00996 (cross-list from stat.ML) [pdf, other]

Title: A New Approach to Probabilistic Programming Inference

Frank Wood, Jan Willem van de Meent, Vikash Mansinghka

Comments: Updated version of the 2014 AISTATS paper (to reflect changes in new language syntax). 10 pages, 3 figures. Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, JMLR Workshop and Conference Proceedings, Vol 33, 2014

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[27] arXiv:1507.01423 (cross-list from cs.GT) [pdf, other]

Title: Abstract Interpretation of Supermodular Games

Francesco Ranzato

Subjects: Computer Science and Game Theory (cs.GT); Programming Languages (cs.PL)

[28] arXiv:1507.01451 (cross-list from cs.AI) [pdf, other]

Title: A model building framework for Answer Set Programming with external computations

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller

Comments: 57 pages, 9 figures, 3 tables, 6 algorithms, to appear in Theory and Practice of Logic Programming (accepted in June 2015)

Journal-ref: Theory and Practice of Logic Programming 16 (2016) 418-464

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

[29] arXiv:1507.01708 (cross-list from cs.DB) [pdf, other]

Title: Typing Regular Path Query Languages for Data Graphs

Dario Colazzo, Carlo Sartiani

Subjects: Databases (cs.DB); Programming Languages (cs.PL)

[30] arXiv:1507.01902 (cross-list from quant-ph) [pdf, other]

Title: ScaffCC: Scalable Compilation and Analysis of Quantum Programs

Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi

Comments: Journal of Parallel Computing (PARCO)

Journal-ref: Parallel Comput. 45, C (June 2015), 2-17

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

[31] arXiv:1507.03634 (cross-list from math.LO) [pdf, other]

Title: Idempotents in intensional type theory

Michael Shulman (University of San Diego)

Comments: 24 pages. v2: final version, to appear in LMCS

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2027

Subjects: Logic (math.LO); Programming Languages (cs.PL); Category Theory (math.CT)

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

Title: Differential Hybrid Games

André Platzer

Journal-ref: ACM Transactions on Computational Logic 18(3), pages 19:1-19:44, 2017

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Programming Languages (cs.PL); Dynamical Systems (math.DS); Logic (math.LO)

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

Title: Abstract Learning Frameworks for Synthesis

Christof Löding, P. Madhusudan, Daniel Neider

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

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

Title: Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses

Emanuele De Angelis (1), Fabio Fioravanti (1), Alberto Pettorossi (2), Maurizio Proietti (3) ((1) DEC, University G. d'Annunzio, Pescara, Italy, (2) DICII, Universita' di Roma Tor Vergata, Roma, Italy, (3) CNR-IASI, Roma, Italy)

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) 635-650

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

[35] arXiv:1507.05946 (cross-list from cs.RO) [pdf, other]

Title: Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms

Carlo Pinciroli, Adam Lee-Brown, Giovanni Beltrame

Comments: 12 pages, 4 figures, submitted to IEEE Transactions on Robotics

Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA); Programming Languages (cs.PL); Software Engineering (cs.SE)

[36] arXiv:1507.05956 (cross-list from cs.AI) [pdf, other]

Title: Towards a Better Understanding of CAR, CDR, CADR and the Others

Thomas W. Lynch

Comments: 6 pages

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

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

Title: On Dynamic Flow-Sensitive Floating-Label Systems

Pablo Buiras, Deian Stefan, Alejandro Russo

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

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

Title: A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations

Paul Tarau

Comments: 70 pages

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

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

Title: Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Iliano Cervesato, Kaustuv Chaudhuri

Journal-ref: EPTCS 185, 2015

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

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

Title: An Open Challenge Problem Repository for Systems Supporting Binders

Amy Felty (University of Ottawa), Alberto Momigliano (Universita degli Studi di Milano), Brigitte Pientka (McGill University)

Comments: In Proceedings LFMTP 2015, arXiv:1507.07597

Journal-ref: EPTCS 185, 2015, pp. 18-32

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

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

Title: A Case Study on Logical Relations using Contextual Types

Andrew Cave (McGill University), Brigitte Pientka (McGill University)

Comments: In Proceedings LFMTP 2015, arXiv:1507.07597

Journal-ref: EPTCS 185, 2015, pp. 33-45

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