Edit Profile (opens in new tab) Boyland, John Tang Co-Author Distance Author ID: boyland.john-tang Published as: Boyland, John Tang; Boyland, John; Boyland, J. T. more...less External Links: MGP Documents Indexed: 6 Publications since 1997 3 Contributions as Editor Co-Authors: 6 Co-Authors with 5 Joint Publications 74 Co-Co-Authors all top 5 Co-Authors 3 single-authored 2 Retert, William 1 Castagna, Giuseppe 1 Fähndrich, Manuel 1 Johnstone, Adrian 1 Noble, James S. 1 Sloane, Anthony M. Serials 2 Science of Computer Programming 1 Software. Practice & Experience 1 Theoretical Computer Science 1 Journal of the ACM Fields 9 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 49 times in 45 Documents Cited by ▼ Year ▼ Checking interference with fractional permissions. Zbl 1067.68537 Boyland, John 38 2003 Alias burying: Unique variables without destructive reads. Zbl 1009.68878 Boyland, John 4 2001 Capabilities for sharing. A generalisation of uniqueness and read-only. Zbl 0982.68576 Boyland, John; Noble, James; Retert, William 3 2001 Remote attribute grammars. Zbl 1316.68060 Boyland, John Tang 2 2005 Connecting effects and uniqueness with adoption. Zbl 1369.68131 Boyland, John Tang; Retert, William 2 2005 Remote attribute grammars. Zbl 1316.68060 Boyland, John Tang 2 2005 Connecting effects and uniqueness with adoption. Zbl 1369.68131 Boyland, John Tang; Retert, William 2 2005 Checking interference with fractional permissions. Zbl 1067.68537 Boyland, John 38 2003 Alias burying: Unique variables without destructive reads. Zbl 1009.68878 Boyland, John 4 2001 Capabilities for sharing. A generalisation of uniqueness and read-only. Zbl 0982.68576 Boyland, John; Noble, James; Retert, William 3 2001 all cited Publications top 5 cited Publications all top 5 Cited by 93 Authors 4 Huisman, Marieke 3 Brookes, Stephen D. 3 da Rocha Pinto, Pedro 3 Dinsdale-Young, Thomas 3 Gardner, Philippa Anne 3 Krebbers, Robbert 3 Müller, Peter 2 Birkedal, Lars 2 Bizjak, Aleš 2 Dreyer, Derek R. 2 Giannini, Paola 2 Hurlin, Clément 2 Jones, Cliff B. 2 Jourdan, Jacques-Henri 2 Jung, Ralf 2 Kobayashi, Naoki 2 Oortwijn, Wytse 2 Reddy, Uday S. 2 Safari, Mohsen 2 Servetto, Marco 2 Summers, Alexander J. 2 Vafeiadis, Viktor 2 Zucca, Elena 1 Amighi, Afshin 1 Blom, Stefan 1 Bodin, Derek 1 Bokowski, Boris 1 Castegren, Elias 1 Charguéraud, Arthur 1 Colvin, Robert J. 1 Cone, James 1 Costea, Andreea 1 Darabi, Saeed 1 Dardinier, Thibault 1 Demri, Stéphane P. 1 Doko, Marko 1 Ferrara, Pietro 1 Gao, Jimin 1 Haack, Christian 1 Hayes, Ian J. 1 Hedin, Görel 1 Igarashi, Atsushi 1 Joosten, Sebastiaan J. C. 1 Kapoor, Kalpesh 1 Kassios, Ioannis T. 1 Krishnan, Lijesh 1 Leino, K. Rustan M. 1 Liu, Yijing 1 Lodaya, Kamal 1 Lozes, Etienne 1 Lugiez, Denis 1 Marshall, Daniel F. 1 Matsushita, Yusuke 1 Melo de Sousa, Simão 1 Mostowski, Wojciech I. 1 O’Hearn, Peter W. 1 Olarte, Carlos 1 Orchard, Dominic A. 1 Parkinson, Matthew J. 1 Parthasarathy, Gaurav 1 Pimentel, Elaine 1 Polikarpova, Nadia 1 Pottier, François 1 Qiu, Zongyan 1 Ravara, António 1 Rueda, Camilo 1 Schwerhoff, Malte 1 Sergey, Ilya 1 Shu, Qin 1 Siqi, Ren 1 Soares, Pedro Tiago da Costa 1 Söderberg, Emma 1 Suenaga, Kohei 1 Sutherland, Julian 1 Terauchi, Tachio 1 Toman, John 1 Tsukada, Takeshi 1 Turon, Aaron Joseph 1 van de Pol, Jan Cornelis 1 Van Wyk, Eric 1 Vitek, Jan 1 Vollmer, Michael 1 Wallin, Joel 1 Wand, Mitchell 1 Wang, Shuling 1 Weeks, Noé 1 Wolf, Felix A. 1 Wrigstad, Tobias 1 Yasuoka, Hirotoshi 1 Yatapanage, Nisansala 1 Yessenov, Kuat 1 Zaharieva-Stojanovski, Marina 1 Zhu, Amy all top 5 Cited in 12 Serials 4 Theoretical Computer Science 3 Formal Aspects of Computing 3 Journal of Logical and Algebraic Methods in Programming 1 Journal of Philosophical Logic 1 Software. Practice & Experience 1 Science of Computer Programming 1 Journal of Automated Reasoning 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Theory and Practice of Logic Programming 1 Computer Languages, Systems & Structures 1 Frontiers of Computer Science in China Cited in 2 Fields 45 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) Citations by Year