Programming Languages

Authors and titles for August 2016

[1] arXiv:1608.00089 [pdf, other]

Title: Optimal Learning of Specifications from Examples

Dana Drachsler-Cohen, Martin Vechev, Eran Yahav

Subjects: Programming Languages (cs.PL)

[2] arXiv:1608.00787 [pdf, other]

Title: Tabling with Sound Answer Subsumption

Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers

Comments: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 0 PDF figures

Subjects: Programming Languages (cs.PL)

[3] arXiv:1608.00816 [pdf, other]

Title: Efficient Algebraic Effect Handlers for Prolog

Amr Hany Saleh, Tom Schrijvers

Comments: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, LaTex, 14 pages, 2 figures

Subjects: Programming Languages (cs.PL)

[4] arXiv:1608.00989 [pdf, other]

Title: Lock-free atom garbage collection for multithreaded Prolog

Jan Wielemaker, Keri Harris

Comments: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 14 pages, LaTeX, 4 PDF figures

Subjects: Programming Languages (cs.PL)

[5] arXiv:1608.01106 [pdf, other]

Title: Probabilistic Resource Analysis by Program Transformation

Maja H. Kirkeby, Mads Rosendahl

Journal-ref: Lecture Notes in Computer Science 9964 (2016) 60-80

Subjects: Programming Languages (cs.PL)

[6] arXiv:1608.01594 [pdf, other]

Title: Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions

K. Tuncay Tekle, Yanhong A. Liu

Comments: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 19 pages, LaTeX

Journal-ref: Theory and Practice of Logic Programming, 16(5-6):916-932, Sept. 2016, Cambridge University Press

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

[7] arXiv:1608.01654 [pdf, other]

Title: Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Mounir Assaf, David A. Naumann, Julien Signoles, Éric Totel, Frédéric Tronel

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

[8] arXiv:1608.01723 [pdf, other]

Title: Synthesizing Program Input Grammars

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Subjects: Programming Languages (cs.PL)

[9] arXiv:1608.02534 [pdf, other]

Title: Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

Manuel V. Hermenegildo, Pedro Lopez-Garcia

Comments: Papers selected for presentation at LOPSTR 2016

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

[10] arXiv:1608.02565 [pdf, other]

Title: Semantic Code Browsing

Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo

Comments: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 4 PDF figures, 2 tables

Subjects: Programming Languages (cs.PL)

[11] arXiv:1608.02780 [pdf, other]

Title: A General Framework for Static Profiling of Parametric Resource Usage

Pedro Lopez-Garcia, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo

Comments: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 22 pages, LaTeX

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

[12] arXiv:1608.02896 [pdf, other]

Title: A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

Elvira Albert, Nikolaos Bezirgiannis, Frank de Boer, Enrique Martin-Martin

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

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

[13] arXiv:1608.03127 [pdf, other]

Title: Self-Similarity Breeds Resilience

Sanjiva Prasad (Indian Institute of Technology Delhi), Lenore D. Zuck (University of Illinois at Chicago)

Comments: In Proceedings EXPRESS/SOS 2016, arXiv:1608.02692

Journal-ref: EPTCS 222, 2016, pp. 30-44

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

[14] arXiv:1608.03131 [pdf, other]

Title: Proceedings 9th Interaction and Concurrency Experience

Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira

Journal-ref: EPTCS 223, 2016

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

[15] arXiv:1608.03321 [pdf, other]

Title: An Erlang Implementation of Multiparty Session Actors

Simon Fowler (The University of Edinburgh, Edinburgh, UK)

Comments: In Proceedings ICE 2016, arXiv:1608.03131

Journal-ref: EPTCS 223, 2016, pp. 36-50

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

[16] arXiv:1608.03327 [pdf, other]

Title: A Step Towards Checking Security in IoT

Chiara Bodei (Dipartimento di Informatica, Università di Pisa), Pierpaolo Degano (Dipartimento di Informatica, Università di Pisa), Gian-Luigi Ferrari (Dipartimento di Informatica, Università di Pisa), Letterio Galletta (Dipartimento di Informatica, Università di Pisa)

Comments: In Proceedings ICE 2016, arXiv:1608.03131

Journal-ref: EPTCS 223, 2016, pp. 128-142

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

[17] arXiv:1608.03350 [pdf, other]

Title: Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML

Yutaka Nagashima, Liam O'Connor

Comments: Accepted by ACM SIGPLAN Workshop on ML, September 2016

Subjects: Programming Languages (cs.PL)

[18] arXiv:1608.03424 [pdf, other]

Title: Partial Evaluation of Order-sorted Equational Programs modulo Axioms

Maria Alpuente, Angel Cuenca, Santiago Escobar, Jose Meseguer

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

Subjects: Programming Languages (cs.PL)

[19] arXiv:1608.03535 [pdf, other]

Title: Intuitionistic Logic Programming for SQL (Extended Abstract)

Fernando Sáenz-Pérez

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

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

[20] arXiv:1608.03650 [pdf, other]

Title: MiniZinc with Strings

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

Subjects: Programming Languages (cs.PL)

[21] arXiv:1608.03771 [pdf, other]

Title: Nominal Unification of Higher Order Expressions with Recursive Let

Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

Journal-ref: Logic-Based Program Synthesis and Transformation, LNCS 10184, pp 328-344, Springer (2016)

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

[22] arXiv:1608.03912 [pdf, other]

Title: A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms

Paul Tarau

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

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

[23] arXiv:1608.04016 [pdf, other]

Title: A New Functional-Logic Compiler for Curry: Sprite

Sergio Antoy, Andy Jost

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

Subjects: Programming Languages (cs.PL)

[24] arXiv:1608.04415 [pdf, other]

Title: A Productivity Checker for Logic Programming

E. Komendantskaya, P. Johann, M. Schmidt

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

Subjects: Programming Languages (cs.PL)

[25] arXiv:1608.04592 [pdf, other]

Title: Data optimizations for constraint automata

Sung-Shik T.Q. Jongmans (Open University of the Netherlands, Radboud University Nijmegen), Farhad Arbab (Centrum Wiskunde and Informatica, Leiden University)

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

Subjects: Programming Languages (cs.PL)