×
Author ID: toyn.ian Recent zbMATH articles by "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

Publications by Year

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

Citations by Year