Programming Languages

Authors and titles for July 2015

[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)