Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | B | J | P | T
Number of items: 7.

A

Aumayr, Dominik, Marr, Stefan, Kaleba, Sophie, Gonzalez Boix, Elisa, Mössenböck, Hanspeter (2021) Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record and Replay. The Art, Science, and Engineering of Programming, 5 (3). Article Number 14. ISSN 2473-7321. (doi:10.22152/programming-journal.org/2021/5/14) (KAR id:86718)
Format: PDF

B

Bocchi, Laura, Orchard, Dominic A., Voinea, Laura (2022) A Theory of Composing Protocols. The Art, Science, and Engineering of Programming, 7 (2). Article Number 6. ISSN 2473-7321. (doi:10.22152/programming-journal.org/2023/7/6) (KAR id:98303)
Format: PDF Format: PDF

J

Jakubovic, Joel, Edwards, Jonathan, Petricek, Tomas (2023) Technical Dimensions of Programming Systems. The Art, Science, and Engineering of Programming, 7 (3). Article Number 13. ISSN 2473-7321. (doi:10.22152/programming-journal.org/2023/7/13) (KAR id:100261)
Format: PDF

P

Pimás, Javier, Marr, Stefan, Garbervetsky, Diego (2023) Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines. The Art, Science, and Engineering of Programming, 8 (2). ISSN 2473-7321. (doi:10.22152/programming-journal.org/2024/8/5) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:103272)
Format: PDF

Petricek, Tomas (2017) Miscomputation in software: Learning to live with errors. The Art, Science, and Engineering of Programming, 1 (2). Article Number 14. ISSN 2473-7321. E-ISSN 2473-7321. (doi:10.22152/programming-journal.org/2017/1/14) (KAR id:67145)
Format: PDF

Petricek, Tomas (2018) What we talk about when we talk about monads. The Art, Science, and Engineering of Programming, 2 (3). p. 12. ISSN 2473-7321. (doi:10.22152/programming-journal.org/2018/2/12) (KAR id:67137)
Format: PDF

T

Thompson, Simon, Li, Huiqing, Schumacher, Andreas (2017) The pragmatics of clone detection and elimination. The Art, Science, and Engineering of Programming, 1 (2). ISSN 2473-7321. (doi:10.22152/programming-journal.org/2017/1/8) (KAR id:61167)
Format: PDF

This list was generated on Wed Mar 27 22:55:28 2024 GMT.