Browse by Journal
![[up]](/style/images/multi_up.png)
Up a levelNumber 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) |
|
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) |
|
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) |
|
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) |
|
| 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) |
|
| 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) |
|
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) |
|
