Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Dr Ashur Rafiev, Dr Fei Xia, Rem Gensh, Emeritus Professor Alexander RomanovskyORCiD, Professor Alex Yakovlev
We relate the experience of a defining a formal domain specific language (DSL) for the construction and reasoning about OS-level management logic of multi-core systems. The approach is based on a novel, iterative development principle where results of prototyping studies feed back into the next language revision. We illustrate the DSL with several examples of executable scripts.
Author(s): Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2015
Pages: 8
Online publication date: 01/01/2015
Report Number: 1445
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1445.pdf