1. <code id="md54j"></code>
      <big id="md54j"><em id="md54j"></em></big>

        <code id="md54j"><nobr id="md54j"><samp id="md54j"></samp></nobr></code>
        <dfn id="md54j"><option id="md54j"><sub id="md54j"></sub></option></dfn>
        1. <th id="md54j"></th>

          Mirror operated in collaboration with local support

          Programming Languages

          Authors and titles for recent submissions

          [ total of 19 entries: 1-19 ]
          [ showing up to 25 entries per page: fewer | more ]

          Thu, 21 May 2020

          [1]  arXiv:2005.09997 (cross-list from cs.SE) [pdf, other]
          Title: Learning Semantic Program Embeddings with GraphInterval Neural Network
          Comments: The abstract is simplified, for full abstract, please refer to the paper
          Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)

          Wed, 20 May 2020

          [2]  arXiv:2005.09520 [pdf, other]
          Title: Choreographies as Objects
          Subjects: Programming Languages (cs.PL)
          [3]  arXiv:2005.09516 [pdf, other]
          Title: RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
          Authors: Sören Tempel (University of Bremen), Tristan Bruns (University of Bremen)
          Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)
          [4]  arXiv:2005.09478 [pdf, ps, other]
          Title: Monads and "do" notation in the Wolfram Language
          Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
          [5]  arXiv:2005.09452 [pdf, other]
          Title: PubSub implementation in Haskell with formal verification in Coq
          Comments: 4 pages, accepted for presentation at the CIIT 2020, 17th International Conference on Informatics and Information Technologies
          Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
          [6]  arXiv:2005.09089 [pdf, ps, other]
          Title: Dice: Compiling Discrete Probabilistic Programs for Scalable Inference
          Subjects: Programming Languages (cs.PL)
          [7]  arXiv:2005.09028 [pdf, ps, other]
          Title: Sham: A DSL for Fast DSLs
          Subjects: Programming Languages (cs.PL)
          [8]  arXiv:2005.09013 [pdf, ps, other]
          Title: Weakest Preexpectation Semantics for Bayesian Inference
          Subjects: Programming Languages (cs.PL)

          Tue, 19 May 2020

          [9]  arXiv:2005.08396 [pdf, other]
          Title: A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
          Comments: To appear in Proceedings of the 12th International Conference on Reversible Computation (RC 2020), Oslo, Norway, 2020
          Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)
          [10]  arXiv:2005.08211 [pdf]
          Title: Quantifying the Impact on Software Complexity of Composable Inductive Programming using Zoea
          Comments: 8 pages, 8 figures
          Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
          [11]  arXiv:2005.08063 [pdf, other]
          Title: Distributed Bounded Model Checking
          Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
          [12]  arXiv:2005.08384 (cross-list from cs.LO) [pdf, ps, other]
          Title: Fixed Point Semantics for Stream Reasoning
          Authors: Christian Antić
          Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL)

          Mon, 18 May 2020

          [13]  arXiv:2005.07464 (cross-list from cs.AI) [pdf]
          Title: An Object Model for the Representation of Empirical Knowledge
          Authors: Joël Colloc (IDEES), Danielle Boulanger
          Comments: in French. Colloque International ICO'89, Jun 1989, Quebec, Canada
          Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

          Fri, 15 May 2020

          [14]  arXiv:2005.06875 [pdf, other]
          Title: Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
          Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
          [15]  arXiv:2005.06688 [pdf, ps, other]
          Title: Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
          Comments: Extended version of a paper accepted for publication in CAV'20
          Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
          [16]  arXiv:2005.06645 [pdf, other]
          Title: A Generating-Extension-Generator for Machine Code
          Comments: 21 pages, 8 Figures Fixed inclusion of LaTeX macro in plaintext abstract
          Subjects: Programming Languages (cs.PL)
          [17]  arXiv:2005.06496 [pdf, ps, other]
          Title: FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data
          Authors: Ana Milanova
          Subjects: Programming Languages (cs.PL)
          [18]  arXiv:2005.07173 (cross-list from cs.LG) [pdf, other]
          Title: Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
          Comments: Full version of a CAV 2020 paper
          Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Systems and Control (eess.SY); Machine Learning (stat.ML)
          [19]  arXiv:2005.06980 (cross-list from cs.SE) [pdf, other]
          Title: A Multi-Perspective Architecture for Semantic Code Search
          Comments: ACL 2020
          Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL)
          [ total of 19 entries: 1-19 ]
          [ showing up to 25 entries per page: fewer | more ]