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 ]