<abstract xmlns="http://www.w3.org/1999/xhtml"><p>Implementation of an emulator of MIX, a mythical computer invented by Donald Knuth, is used as a case study of the features of the Scala programming language. The developed emulator provides rich opportunities for program debugging, such as tracking intermediate steps of program execution, an opportunity to run a program in the binary or the decimal mode of MIX, verification of correct synchronisation of input/output operations. Such Scala features as cross-compilation, family polymorphism and support for immutable data structures have proved to be useful for implementation of the emulator. The authors of the paper also propose some improvements to these features: flexible definition of family-polymorphic types, integration of family polymorphism with generics, establishing full equivalence between mutating operations on mutable data types and copy-and-modify operations on immutable data types. The emulator is free and open source software available at <ext-link ext-link-type="uri" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.mix-emulator.org">www.mix-emulator.org</ext-link>.</p></abstract>

Implementation of an emulator of MIX, a mythical computer invented by Donald Knuth, is used as a case study of the features of the Scala programming language. The developed emulator provides rich opportunities for program debugging, such as tracking intermediate steps of program execution, an opportunity to run a program in the binary or the decimal mode of MIX, verification of correct synchronisation of input/output operations. Such Scala features as cross-compilation, family polymorphism and support for immutable data structures have proved to be useful for implementation of the emulator. The authors of the paper also propose some improvements to these features: flexible definition of family-polymorphic types, integration of family polymorphism with generics, establishing full equivalence between mutating operations on mutable data types and copy-and-modify operations on immutable data types. The emulator is free and open source software available at www.mix-emulator.org.

Implementation of a MIX Emulator: A Case Study of the Scala Programming Language Facilities

Applied Computer Systems

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Implementation of an emulator of MIX, a mythical computer invented by Donald Knuth, is used as a case study of the features of the Scala programming language....

Implementation of a MIX Emulator: A Case Study of the Scala Programming Language Facilities

Publié en ligne: 27 déc. 2017

Pages: 47 - 53

DOI: https://doi.org/10.1515/acss-2017-0017

Mots clés
MIX, program correctness verification, Scala

© 2017 Ruslan Batdalov et al., published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Implementation of a MIX Emulator: A Case Study of the Scala Programming Language Facilities

Publié en ligne: 27 déc. 2017

Pages: 47 - 53

DOI: https://doi.org/10.1515/acss-2017-0017

Mots clésMIX, program correctness verification, Scala

© 2017 Ruslan Batdalov et al., published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Mots clés
MIX, program correctness verification, Scala