Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/137308| Title: | Grits : a message-passing programming language based on the semi-axiomatic sequent calculus |
| Authors: | Francalanza, Adrian Tabone, Gerard Pfenning, Frank |
| Keywords: | Programming languages (Electronic computers) Computer software -- Verification Parallel processing (Electronic computers) Formal methods (Computer science) Logic programming |
| Issue Date: | 2025 |
| Publisher: | Elsevier |
| Citation: | Francalanza, A., Tabone, G., & Pfenning, F. (2025). Grits: A message-passing programming language based on the semi-axiomatic sequent calculus. Science of Computer Programming, doi: https://doi.org/10.1016/j.scico.2025.103360. |
| Abstract: | This paper introduces Grits, a channel-based message-passing concurrent language based on the semi-axiomatic sequent calculus, a logical foundation underpinning intuitionistic session types. The language leverages modalities from adjoint logic to express a number of programming idioms such as broadcast communication and message cancellation. The Grits interpreter is developed using Go, and consists primarily of two components: a type-checker and an evaluator. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/137308 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Grits a message passing programming language based on the semi axiomatic sequent calculus 2025.pdf | 516.51 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.