Edit Profile (opens in new tab) Toyn, Ian Co-Author Distance Author ID: toyn.ian Published as: Toyn, Ian Documents Indexed: 9 Publications since 1986 Co-Authors: 10 Co-Authors with 9 Joint Publications 345 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Stepney, Susan 3 Polack, Fiona A. C. 3 Runciman, Colin 2 Utting, Mark 1 Currie, David J. 1 Daley, Nicholas 1 Dix, Alan 1 Dong, JinSong 1 Malik, Petra 1 Sun, Jing Serials 1 New Generation Computing 1 Journal of Functional Programming 1 Chicago Journal of Theoretical Computer Science Fields 9 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 9 times in 9 Documents Cited by ▼ Year ▼ Retrieving reusable software components by polymorphic type. Zbl 0941.68547 Runciman, Colin; Toyn, Ian 3 1991 Refactoring in maintenance and development of Z specifications and proofs. Zbl 1270.68178 Stepney, Susan; Polack, Fiona; Toyn, Ian 2 2002 Patterns to guide practical refactoring: Examples targetting promotion in Z. Zbl 1028.68555 Stepney, Susan; Polack, Fiona; Toyn, Ian 1 2003 ZML: XML support for standard Z. Zbl 1028.68507 Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David 1 2003 Adapting combinator and SECD machines to display snapshots of functional computations. Zbl 0603.68003 Toyn, Ian; Runciman, Colin 1 1986 Performance polymorphism. Zbl 0624.68010 Toyn, Ian; Dix, Alan; Runciman, Colin 1 1987 Patterns to guide practical refactoring: Examples targetting promotion in Z. Zbl 1028.68555 Stepney, Susan; Polack, Fiona; Toyn, Ian 1 2003 ZML: XML support for standard Z. Zbl 1028.68507 Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David 1 2003 Refactoring in maintenance and development of Z specifications and proofs. Zbl 1270.68178 Stepney, Susan; Polack, Fiona; Toyn, Ian 2 2002 Retrieving reusable software components by polymorphic type. Zbl 0941.68547 Runciman, Colin; Toyn, Ian 3 1991 Performance polymorphism. Zbl 0624.68010 Toyn, Ian; Dix, Alan; Runciman, Colin 1 1987 Adapting combinator and SECD machines to display snapshots of functional computations. Zbl 0603.68003 Toyn, Ian; Runciman, Colin 1 1986 all cited Publications top 5 cited Publications all top 5 Cited by 20 Authors 1 Amálio, Nuno 1 Aspinall, David 1 Balat, Vincent 1 Derrick, John 1 Di Cosmo, Roberto 1 Dixon, Lucas 1 Fiore, Marcelo P. 1 Grov, Gudmund 1 Honiden, Shinichi 1 Ishikawa, Fuyuki 1 Kobayashi, Tsutomu 1 Malakhovski, J. 1 North, Siobhán 1 Rittri, Mikael 1 Runciman, Colin 1 Simons, Anthony J. H. 1 Snelting, Gregor 1 Solov’ëv, Sergeĭ Vladimirovich 1 Toyn, Ian 1 Whiteside, Iain all top 5 Cited in 6 Serials 2 Formal Aspects of Computing 1 Acta Informatica 1 Annals of Pure and Applied Logic 1 New Generation Computing 1 RAIRO. Informatique Théorique et Applications 1 Journal of Mathematical Sciences (New York) Cited in 2 Fields 8 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year