We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions

[ total of 29 entries: 1-25 | 26-29 ]
[ showing 25 entries per page: fewer | more | all ]

Fri, 21 Feb 2020

[1]  arXiv:2002.08738 [pdf, ps, other]
Title: Soundness conditions for big-step semantics
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2002.08489 [pdf, ps, other]
Title: On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2002.08874 (cross-list from cs.LO) [pdf, other]
Title: Contextual Equivalence for Signal Flow Graphs
Comments: Accepted for publication in the proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[4]  arXiv:2002.08523 (cross-list from cs.LO) [pdf, other]
Title: Constructive Game Logic
Comments: 74 pages, extended preprint for ESOP
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[5]  arXiv:2002.08392 (cross-list from cs.LO) [pdf, ps, other]
Title: Decomposing Probabilistic Lambda-calculi
Authors: Ugo Dal Lago (1), Giulio Guerrieri (2), Willem Heijltjes (2) ((1) Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna, Bologna, Italy and (2) Department of Computer Science University of Bath, Bath, UK)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Thu, 20 Feb 2020

[6]  arXiv:2002.08334 [pdf, other]
Title: Holistic Specifications for Robust Programs
Comments: 44 pages, 1 Table, 11 Figures
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2002.08241 [pdf, ps, other]
Title: A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
Authors: Carol Mak, Luke Ong
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[8]  arXiv:2002.08155 (cross-list from cs.CL) [pdf, other]
Title: CodeBERT: A Pre-Trained Model for Programming and Natural Languages
Comments: 10 pages
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)
[9]  arXiv:2002.07970 (cross-list from cs.DC) [pdf, other]
Title: Supporting OpenMP 5.0 Tasks in hpxMP -- A study of an OpenMP implementation within Task Based Runtime Systems
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[10]  arXiv:2002.07951 (cross-list from cs.DB) [pdf, other]
Title: SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra
Subjects: Databases (cs.DB); Programming Languages (cs.PL)

Wed, 19 Feb 2020

[11]  arXiv:2002.07770 [pdf, other]
Title: ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
Subjects: Programming Languages (cs.PL)
[12]  arXiv:2002.07262 [pdf, ps, other]
Title: Denotational semantics as a foundation for cost recurrence extraction for functional languages
Subjects: Programming Languages (cs.PL)
[13]  arXiv:2002.07472 (cross-list from stat.CO) [pdf, other]
Title: Managing multiple data streams in R
Comments: 16 pages, 1 figure. Submitted to the R Journal (2019-08-22)
Subjects: Computation (stat.CO); Programming Languages (cs.PL)

Tue, 18 Feb 2020

[14]  arXiv:2002.07020 [pdf, ps, other]
Title: Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Comments: For the agda formalization, see this https URL
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[15]  arXiv:2002.06223 [pdf]
Title: Sthread: In-Vivo Model Checking of Multithreaded Programs
Authors: Gene Cooperman (Northeastern University, United States), Martin Quinson (École Normale Supérieure Rennes, France)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 13
Subjects: Programming Languages (cs.PL)
[16]  arXiv:2002.06213 [pdf]
Title: Lightweight Lexical Test Prioritization for Immediate Feedback
Authors: Toni Mattis (Hasso Plattner Institute, Germany), Robert Hirschfeld (HPI, University of Potsdam, Germany)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 12
Subjects: Software Engineering (cs.SE)

Mon, 17 Feb 2020 (showing first 9 of 13 entries)

[17]  arXiv:2002.06191 [pdf]
Title: Did JHotDraw respect the Law of Good Style? -- An exploratory deep dive into the nature of false positives of bad code smells
Authors: Daniel Speicher (Bonn-Aachen International Center for Information Technology, B-IT, Germany)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 14
Subjects: Software Engineering (cs.SE)
[18]  arXiv:2002.06190 [pdf]
Title: Foundations of a live data exploration environment
Authors: Tomas Petricek (University of Kent, United Kingdom)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 8
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2002.06188 [pdf]
Title: Gavial: Programming the web with multi-tier FRP
Authors: Bob Reynders (Katholieke Universiteit Leuven, Belgium), Frank Piessens (Katholieke Universiteit Leuven, Belgium), Dominique Devriese (Vrije Universiteit Brussel, Belgium)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 6
Subjects: Programming Languages (cs.PL)
[20]  arXiv:2002.06187 [pdf]
Title: Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Authors: Johannes Mey (TU Dresden, Germany), Thomas Kühn (Karlsruhe Institute of Technology, Germany), René Schöne (TU Dresden, Germany), Uwe Aßmann (TU Dresden, Germany)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 15
Subjects: Programming Languages (cs.PL)
[21]  arXiv:2002.06185 [pdf]
Title: Robust Contract Evolution in a TypeSafe MicroServices Architecture
Authors: João Costa Seco (Universidade NOVA de Lisboa, Portugal), Paulo Ferreira (OutSystems, Portugal), Hugo Lourenço (OutSystems, Portugal), Carla Ferreira (Universidade NOVA de Lisboa, Portugal), Lucio Ferrao (OutSystems, Portugal)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 10
Subjects: Programming Languages (cs.PL)
[22]  arXiv:2002.06184 [pdf]
Title: Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Authors: Pascal Weisenburger (TU Darmstadt, Germany), Guido Salvaneschi (TU Darmstadt, Germany)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 17
Subjects: Programming Languages (cs.PL)
[23]  arXiv:2002.06183 [pdf]
Title: Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Authors: Jeff Smits (Delft University of Technology, Netherlands), Gabriël D.P. Konat (Delft University of Technology, Netherlands), Eelco Visser (Delft University of Technology, Netherlands)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 16
Subjects: Programming Languages (cs.PL)
[24]  arXiv:2002.06182 [pdf]
Title: Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Authors: Steven Costiou (INRIA, France), Vincent Aranega (INRIA, France), Marcus Denker (INRIA, France)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 5
Subjects: Programming Languages (cs.PL)
[25]  arXiv:2002.06180 [pdf]
Title: Bacatá: Notebooks for DSLs, Almost for Free
Authors: Mauricio Verano Merino (Eindhoven University of Technology, Netherlands), Jurgen Vinju (Centrum Wiskunde & Informatica - TU Eindhoven, Netherlands), Tijs van der Storm (CWI - University of Groningen, Netherlands)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 11
Subjects: Programming Languages (cs.PL)
[ total of 29 entries: 1-25 | 26-29 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2002, contact, help  (Access key information)