Programming Languages

Authors and titles for February 2017

[26] arXiv:1702.00364 (cross-list from cs.SE) [pdf, other]

Title: EasyInterface: A toolkit for rapid development of GUIs for research prototype tools

Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte

Comments: Preprint of a FASE'17 paper

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

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

Title: Type- and Content-Driven Synthesis of SQL Queries from Natural Language

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig

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

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

Title: Proceedings Eighth Workshop on Intersection Types and Related Systems

Naoki Kobayashi

Journal-ref: EPTCS 242, 2017

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

[29] arXiv:1702.02951 (cross-list from astro-ph.IM) [pdf, other]

Title: What can the programming language Rust do for astrophysics?

Sergi Blanco-Cuaresma, Emeline Bolmont

Comments: To appear in the proceedings of the IAU Symposium 325 on Astroinformatics

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Programming Languages (cs.PL)

[30] arXiv:1702.03085 (cross-list from cs.DM) [pdf, other]

Title: Quantitative aspects of linear and affine closed lambda terms

Pierre Lescanne (LIP)

Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Combinatorics (math.CO); Logic (math.LO)

[31] arXiv:1702.06806 (cross-list from cs.SE) [pdf, other]

Title: Introducing Context Awareness in Unmodified, Context-unaware Software

Markus Raab, Gergö Barany

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

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

Title: Jolie Static Type Checker: a prototype

Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov

Comments: Modeling and Analysis of Information Systems, 2017

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

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

Title: Curie: Policy-based Secure Data Exchange

Z. Berkay Celik, Hidayet Aksu, Abbas Acar, Ryan Sheatsley, A. Selcuk Uluagac, Patrick McDaniel

Comments: updated (this version has been accepted to CODASPY 2019)

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

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

Title: Monte Carlo Action Programming

Lenz Belzner

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