Zobrazeno 1 - 10
of 82
pro vyhledávání: '"Orchard, Dominic A."'
Despite an abundance of proposed systems, the verification of units-of-measure within programs remains rare in scientific computing. We attempt to address this issue by providing a lightweight static verification system for units-of-measure in Fortra
Externí odkaz:
http://arxiv.org/abs/2406.02174
Charts, figures, and text derived from data play an important role in decision making, from data-driven policy development to day-to-day choices informed by online articles. Making sense of, or fact-checking, outputs means understanding how they rela
Externí odkaz:
http://arxiv.org/abs/2403.04403
Graded modal logics generalise standard modal logics via families of modalities indexed by an algebraic structure whose operations mediate between the different modalities. The graded "of-course" modality $!_r$ captures how many times a proposition i
Externí odkaz:
http://arxiv.org/abs/2401.17199
Autor:
Marshall, Danielle, Orchard, Dominic
Ownership and borrowing systems, designed to enforce safe memory management without the need for garbage collection, have been brought to the fore by the Rust programming language. Rust also aims to bring some guarantees offered by functional program
Externí odkaz:
http://arxiv.org/abs/2310.18166
Autor:
Marshall, Danielle, Orchard, Dominic
Graded type systems, such as the one underlying the Granule programming language, allow various different properties of a program's behaviour to be tracked via annotating types with additional information, which we call grades. One example of such a
Externí odkaz:
http://arxiv.org/abs/2309.04324
Publikováno v:
EPTCS 378, 2023, pp. 38-48
Brand and Zafiropulo's notion of Communicating Finite-State Machines (CFSMs) provides a succinct and powerful model of message-passing concurrency, based around channels. However, a major variant of message-passing concurrency is not readily captured
Externí odkaz:
http://arxiv.org/abs/2304.06395
Autor:
Marshall, Danielle a, b, ⁎, Orchard, Dominic a, c
Publikováno v:
In Information and Computation December 2024 301 Part A
Autor:
Marshall, Danielle, Orchard, Dominic
Publikováno v:
EPTCS 356, 2022, pp. 1-11
Session types provide guarantees about concurrent behaviour and can be understood through their correspondence with linear logic, with propositions as sessions and proofs as processes. However, a strictly linear setting is somewhat limiting, since th
Externí odkaz:
http://arxiv.org/abs/2203.12875
Publikováno v:
The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 2, Article 6
In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communication) between software systems, for example, between a user-space program and the kernel or between a local application and an online service. Ensuri
Externí odkaz:
http://arxiv.org/abs/2203.02461
Publikováno v:
EPTCS 353, 2021, pp. 109-131
The recent notion of graded modal types provides a framework for extending type theories with fine-grained data-flow reasoning. The Granule language explores this idea in the context of linear types. In this practical setting, we observe that the pre
Externí odkaz:
http://arxiv.org/abs/2112.14966