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

Programming Languages

Authors and titles for cs.PL in Jan 2021, skipping first 25

[ total of 63 entries: 1-25 | 26-50 | 51-63 ]
[ showing 25 entries per page: fewer | more | all ]
[26]  arXiv:2101.10479 [pdf, other]
Title: A Monad for Probabilistic Point Processes
Authors: Swaraj Dash (University of Oxford), Sam Staton (University of Oxford)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 19-32
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[27]  arXiv:2101.11320 [pdf, ps, other]
Title: Tutorial implementation of Hoare logic in Haskell
Authors: Boro Sitnikovski
Comments: Added sample implementation for H-Consequence, H-While, and another example; Added CoI section, tweaks to labels for 'boptimize'; Improved Hoare logic implementation by relying on actual Propositional calculus and Number theory systems, rather than toy optimization functions; improve formula printer; small tweak updates. Associated files are available at this https URL
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[28]  arXiv:2101.11351 [pdf, other]
Title: Compositional Semantics for Probabilistic Programs with Exact Conditioning
Comments: 16 pages, 5 figures
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[29]  arXiv:2101.11421 [pdf, ps, other]
Title: Deriving monadic quicksort (Declarative Pearl)
Journal-ref: In Nakano K., Sagonas K. (eds) Functional and Logic Programming (FLOPS 2020). LNCS 12073. pp 124-138. 2020
Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS)
[30]  arXiv:2101.12299 [pdf, other]
Title: Putting gradual types to work
Journal-ref: Practical Aspects of Declarative Languages (2021) 54-70
Subjects: Programming Languages (cs.PL)
[31]  arXiv:2101.00909 (cross-list from cs.LG) [pdf, other]
Title: Fair Training of Decision Tree Classifiers
Subjects: Machine Learning (cs.LG); Computers and Society (cs.CY); Programming Languages (cs.PL)
[32]  arXiv:2101.00961 (cross-list from cs.CR) [pdf, other]
Title: Learning Differentially Private Mechanisms
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Programming Languages (cs.PL)
[33]  arXiv:2101.01159 (cross-list from cs.DC) [pdf, other]
Title: New Directions in Cloud Programming
Journal-ref: CIDR 2021
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Databases (cs.DB); Operating Systems (cs.OS); Programming Languages (cs.PL)
[34]  arXiv:2101.01502 (cross-list from cs.LG) [pdf, other]
Title: Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Comments: 11 pages with appendices
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[35]  arXiv:2101.02522 (cross-list from cs.CL) [pdf, other]
Title: Towards a Smart Data Processing and Storage Model
Authors: Ronie Salgado, Marcus Denker (RMOD), Stéphane Ducasse (RMOD), Anne Etien (RMOD), Vincent Aranega (RMOD)
Journal-ref: IWST20: International Workshop on Smalltalk Technologies, Sep 2020, Novi Sad, Serbia
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)
[36]  arXiv:2101.02690 (cross-list from cs.LO) [pdf]
Title: Theorem Proving and Algebra
Authors: Joseph A. Goguen
Comments: 427+ xviii pages, 38 figures, Unfinished book by Joseph A. Goguen, Edited by Kokichi Futatsugi, Narciso Mart\'i-Oliet and Jos\'e Meseguer; revised version corrects some strange characters in page xv
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[37]  arXiv:2101.03238 (cross-list from cs.MA) [pdf, other]
Title: Neurosymbolic Transformers for Multi-Agent Communication
Journal-ref: NeurIPS 2020
Subjects: Multiagent Systems (cs.MA); Machine Learning (cs.LG); Programming Languages (cs.PL)
[38]  arXiv:2101.03263 (cross-list from cs.LG) [pdf, other]
Title: SyReNN: A Tool for Analyzing Deep Neural Networks
Comments: Accepted paper at TACAS 2021. Tool is available at this https URL
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[39]  arXiv:2101.04395 (cross-list from cs.DC) [pdf, ps, other]
Title: Symbolic Loop Compilation for Tightly Coupled Processor Arrays
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[40]  arXiv:2101.04470 (cross-list from cs.LG) [pdf, other]
Title: Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python
Comments: Preprint for the ICSE'22 technical track
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)
[41]  arXiv:2101.06039 (cross-list from cs.CR) [pdf, other]
Title: Secure Optimization Through Opaque Observations
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[42]  arXiv:2101.06087 (cross-list from cs.LO) [pdf, ps, other]
Title: An Abstract Contract Theory for Programs with Procedures
Authors: Christian Lidström, Dilian Gurov (KTH Royal Institute of Technology, Stockholm, Sweden)
Comments: 24 pages. This is the full version of the paper An Abstract Contract Theory for Programs with Procedures, published in Proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering (FASE 2021), which includes the proofs of all theorems and additional examples. The conference version should always be cited
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[43]  arXiv:2101.06542 (cross-list from cs.SE) [pdf, other]
Title: ConE: A Concurrent Edit Detection Tool for Large Scale Software Development
Journal-ref: ACM Transactions on Software Engineering and Methodology (TOSEM), 2022, 31(2)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[44]  arXiv:2101.07888 (cross-list from cs.DM) [html]
Title: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
Authors: David I. Spivak (Massachusetts Institute of Technology), Jamie Vicary (University of Cambridge)
Journal-ref: EPTCS 333, 2021
Subjects: Discrete Mathematics (cs.DM); Programming Languages (cs.PL)
[45]  arXiv:2101.08116 (cross-list from cs.SE) [pdf, other]
Title: Improving type information inferred by decompilers with supervised machine learning
Authors: Javier Escalada (1), Ted Scully (2), Francisco Ortin (1 and 2) ((1) University of Oviedo, (2) Cork Institute of Technology)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[46]  arXiv:2101.08491 (cross-list from cs.LO) [pdf, ps, other]
Title: Complete trace models of state and control
Authors: Guilhem Jaber (GALLINETTE, LS2N), Andrzej S. Murawski
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[47]  arXiv:2101.08611 (cross-list from cs.FL) [pdf, ps, other]
Title: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[48]  arXiv:2101.08720 (cross-list from cs.FL) [pdf, ps, other]
Title: Leafy Automata for Higher-Order Concurrency
Comments: 18 pages plus appendices
Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[49]  arXiv:2101.08809 (cross-list from cs.LG) [pdf, other]
Title: PyGlove: Symbolic Programming for Automated Machine Learning
Comments: NeurIPS 2020 Oral
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[50]  arXiv:2101.09042 (cross-list from cs.LO) [pdf, ps, other]
Title: PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 63 entries: 1-25 | 26-50 | 51-63 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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