Logic in Computer Science

Authors and titles for recent submissions, skipping first 28

[ total of 32 entries: 1-10 | 9-18 | 19-28 | 29-32 ]
[ showing 10 entries per page: fewer | more | all ]

[29] arXiv:2405.06826 (cross-list from cs.PL) [pdf, other]: Title: A Nominal Approach to Probabilistic Separation Logic

Authors: John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen

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

[30] arXiv:2405.06491 [pdf, ps, other]: Title: A Note on an Inferentialist Approach to Resource Semantics

Authors: Alexander V. Gheorghiu, Tao Gu, David J. Pym

Comments: An abstract of conference paper 'Inferentialist Resource Semantics' (Accepted at MFPS 2024) that was presented at SLSS 2024. arXiv admin note: substantial text overlap with arXiv:2402.09217

Subjects: Logic in Computer Science (cs.LO); Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)
[31] arXiv:2405.06127 [pdf, other]: Title: Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection

Authors: Ross Daly, Caleb Donovick, Caleb Terrill, Jackson Melchert, Priyanka Raina, Clark Barrett, Pat Hanrahan

Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)
[32] arXiv:2405.06052 (cross-list from eess.SY) [pdf, ps, other]: Title: Composition and Merging of Assume-Guarantee Contracts Are Tensor Products

Authors: Inigo Incer

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)

[ total of 32 entries: 1-10 | 9-18 | 19-28 | 29-32 ]
[ showing 10 entries per page: fewer | more | all ]